De
Decdnnf-rs
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.