The miniC2D Package
Version 1.0.0: Released Sep 27, 2015
A software package for knowledge compilation and model counting based on
For knowledge compilation, it can be used to compile CNFs into
Sentential Decision Diagrams (SDDs).
For model counting, it can be used to do (weighted) model
counting of CNFs.
Version 1.0.0 is available for Linux (x64)
and Mac OS X (x64).
Umut Oztok and Adnan Darwiche.
A Top-Down Compiler for Sentential Decision Diagrams.
In Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence (IJCAI), pages 3141-3148, 2015.
Please send questions, comments, or bug reports to: