#

model-counter

Here are 2 public repositories matching this topic...

Illner / Hydra

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++

Illner / CaraSolver

An isomorphism-aware #SAT solver

isomorphism counting cnf dimacs model-counting isomorphism-aware model-counter

Updated Jan 13, 2026

Improve this page

Add a description, image, and links to the model-counter topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the model-counter topic, visit your repo's landing page and select "manage topics."