Python package for Sentential Decision Diagrams (SDD). Source available on https://github.com/wannesm/PySDD.
The SDD can be thought of as a “data structure” for representing Boolean functions, since SDDs are canonical and support a number of efficient operations for constructing and manipulating Boolean functions.
The open-source C SDD package allows users to construct, manipulate and optimize SDDs and is developed by Arthur Choi and Adnan Darwiche at UCLA’s Automated Reasoning Group. This Python wrapper is a collaboration between UCLA’s Automated Reasoning Group and KU Leuven’s Artificial Intelligence research group (DTAI).
- Build formula
- Model Counting
- Command Line: pysdd-cli.py