Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: model-counting
meelgroup/KCBox
A toolbox for knowledge compilation
Language: C++ - Size: 9.91 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 20 - Forks: 4
MatiasBrizzio/EstiMate
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
Language: Java - Size: 99.5 MB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 2 - Forks: 0
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
Language: Rust - Size: 64.5 KB - Last synced: 10 days ago - Pushed: 11 days ago - Stars: 4 - Forks: 0
wannesm/PySDD
Python package for Sentential Decision Diagrams (SDD)
Language: Cython - Size: 1.48 MB - Last synced: 4 days ago - Pushed: 5 months ago - Stars: 49 - Forks: 16
changmg/VACSEM
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting
Language: C - Size: 115 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 8 - Forks: 0
meelgroup/ganak
The first scalable probabilistic exact counter
Language: C++ - Size: 16.4 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 21 - Forks: 5
drwadu/iascar
answer set counter
Language: Rust - Size: 47.1 MB - Last synced: about 1 month ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
teobaluta/NPAQ
Neural Property Approximate Quantifier
Language: Python - Size: 2.04 MB - Last synced: 7 months ago - Pushed: over 1 year ago - Stars: 8 - Forks: 0
stjomd/hexmc
#SAT solver implemented as part of my bachelor thesis at TU Wien.
Language: Java - Size: 9.19 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
SoftVarE-Group/emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
Language: Python - Size: 23.3 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 5 - Forks: 1
meelgroup/mis
Minimal Independent Set Finder for CNFs
Language: C++ - Size: 1.52 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 4 - Forks: 2
GKerfImf/Satisfiability-Theory-in-Coq
Model-counting algorithm written in Coq
Language: Coq - Size: 151 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0