model-counting

There are 13 repositories under model-counting topic.

ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
Language:C54 7 1317
meelgroup/ganak
The first scalable probabilistic exact counter
Language:C++26 5 227
meelgroup/KCBox
A toolbox for knowledge compilation
Language:C++21 13 55
changmg/VACSEM
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting
Language:C10 1 00
teobaluta/NPAQ
Neural Property Approximate Quantifier
Language:Python8 2 101
meelgroup/mis
Minimal Independent Set Finder for CNFs
Language:C++6 4 82
SoftVarE-Group/emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
Language:Python5 2 01
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
Language:Rust4 1 340
MatiasBrizzio/EstiMate
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Language:Java2 1 00
SteffenHub/CNF-Generator
Generator for CNF'S considering the variance by using model counting with #sat
Language:Java1 2 00
drwadu/iascar
answer set counter
Language:Rust0 1 00
GKerfImf/Satisfiability-Theory-in-Coq
Model-counting algorithm written in Coq
Language:Coq1 0
stjomd/hexmc
#SAT solver implemented as part of my bachelor thesis at TU Wien.
Language:Java