search

LKlinke / Prodigy

A tool that analyses probabilistic programs, allows for automatic invariance checking and handles inference all based on Generatingfunctionology.
Apache License 2.0
2 stars 0 forks source link

Wip #1

Closed LKlinke closed 2 years ago

LKlinke commented 2 years ago

CAV AE Updates working.