The SDD Package
Version 1.1.1: Released Jan 31, 2014

Description

The SDD package is a system for constructing, manipulating and optimizing Sentential Decision Diagrams (SDDs).
It is distributed as a C library, with source code that uses the library for compiling CNFs and DNFs into SDDs.

Manuals

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

Download

Version 1.1.1 is currently available for Linux (x64) and Mac OS X (x64). Windows versions are planned.

Papers

Contact

Please send questions, comments, or bug reports to: