Projects in Awesome Lists tagged with model-counting
A curated list of projects in awesome lists tagged with model-counting .
https://github.com/ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
cython knowledge-compilation model-counting python sdd weighted-model-counting
Last synced: 09 Jul 2025
https://github.com/meelgroup/arjun
CNF minimizer and minimal independent set minimizer
cnf dimacs-cnf model-counting simplifier
Last synced: 06 Apr 2026
https://github.com/jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
decision-diagram knowledge-compilation model-counting model-enumeration satisfiability-problem sdd sentential-decision-diagram
Last synced: 29 Jul 2025
https://github.com/gkerfimf/satisfiability-theory-in-coq
Model-counting algorithm written in Coq
Last synced: 23 Feb 2026