Prodigy¶

Prodigy (PRObability DIstributions via GeneratingfunctionologY) analyses probabilistic programs written in pGCL with probability generating functions. It computes output distributions exactly where it can and otherwise gives results with a stated guarantee: exact, lower bound with residual mass, or upper bound.

The sources, installation instructions and issue tracker are on GitHub.