Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
Primary LanguageOCamlApache License 2.0Apache-2.0