The miniC2D Package
Version 1.0.0: Released Sep 27, 2015
Description
A software package for knowledge compilation and model counting based on
exhaustive DPLL.
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.
Download
Version 1.0.0 is available for Linux (x64)
and Mac OS X (x64).
Papers
-
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.
pdf
Contact
Please send questions, comments, or bug reports to: