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).
usage/installation usage/package usage/cli usage/references usage/contact
examples/build_formula.rst examples/model_counting.rst examples/conditioning.rst examples/cli_examples.rst
classes/SddManager classes/SddNode classes/Fnf classes/Vtree classes/WmcManager
genindexmodindexsearch