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

New update #28

Closed Legotier closed 1 year ago