PySDD documentation

Python package for Sentential Decision Diagrams (SDD). Source available on

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).

Indices and tables