The SDD Package
Version 2.0: Released Jan 8, 2018

Description

The SDD package is an open-source system for constructing, manipulating and optimizing Sentential Decision Diagrams (SDDs).
The SDD package includes the SDD library, with additional code that uses the library for compiling CNFs and DNFs into SDDs.
The SDD package is implemented in the C language.

Manuals

Beginning-user manual: pdf
Advanced-user manual: pdf

Download

Version 2.0 is currently available for Linux (x64) and Mac OS X (x64).

Talks and Tutorials

Papers

License

See license here (Apache v2.0)

Contact

Please send questions, comments, or bug reports to: