Python package for Sentential Decision Diagrams (SDD) - View it on GitHub