The SDD Package
Version 1.1.1: Released Jan 31, 2014
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.
Beginning-user manual: pdf
Advanced-user manual: pdf
Version 1.1.1 is currently available for Linux (x64)
and Mac OS X (x64). Windows versions are planned.
SDD: A New Canonical Representation of Propositional Knowledge Bases.
In Proceedings of the Twenty-Second International Joint Conference on
Artificial Intelligence (IJCAI), pages 819-826, 2011.
Yexiang Xue, Arthur Choi, and Adnan Darwiche.
Basing Decisions on Sentences in Decision Diagrams.
In Proceedings of the Twenty-Sixth AAAI Conference on
Artificial Intelligence (AAAI), pages 842-849, 2012.
Arthur Choi and Adnan Darwiche
Dynamic Minimization of Sentential Decision Diagrams.
In Proceedings of the Twenty-Seventh Conference on Artificial
Intelligence (AAAI), pages 187-194, 2013.
Please send questions, comments, or bug reports to: