Decdnnf-rs is a tool for manipulating Decision-DNNFs produced by d4.

It allows queries such as counting models, searching for models under assumptions, or enumeration of solutions, for which it excels (article to appear).

It also provides a tool for translating formulas generated by d4 into the format generated by c2d.



GPL    Any category    Recent software