There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A Low-level first-order probabilistic programming language, with in built translation constraints for automatic model checking. A flexible PPL that can work with any inference algorithms that work with programs containing measure-zero discontinuities