A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits
-
Updated
Jan 27, 2026
#
pwdnnf
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
Mar 8, 2026 - C++
Improve this page
Add a description, image, and links to the pwdnnf topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the pwdnnf topic, visit your repo's landing page and select "manage topics."