A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits
-
Updated
Jan 13, 2026
#
ddnnf
Here are 2 public repositories matching this topic...
Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver
isomorphism counting cnf dimacs model-counting knowledge-compilation ddnnf wdnnf pwdnnf nwdnnf sddnnf decisiondnnf isomorphism-aware knowledge-compiler model-counter
-
Updated
Jan 13, 2026 - C++
Improve this page
Add a description, image, and links to the ddnnf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ddnnf topic, visit your repo's landing page and select "manage topics."