Python wrapper for the PSI-Solver (probabilistic symbolic inference) - View it on GitHub