Python package for Sentential Decision Diagrams (SDD)
wannesm
The first scalable probabilistic exact counter
meelgroup
