@hackage / imp-ppl

Imprecise probabilistic programming via BDDs

Changelog

First release: the graded monad DSL, BDD compilation, and four credal inference backends (enumeration, interval, gradient, symbolic).