GitHub topics: dimacs-cnf
meelgroup/SBVA Fork of hgarrereyn/SBVA
Structured BVA CNF rewriter
Language: C++ - Size: 3.16 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 3
meelgroup/ganak
High-performance probabilistic exact counter
Language: C++ - Size: 19 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 31 - Forks: 9
meelgroup/unigen
UniGen approximately uniform sampler
Language: C++ - Size: 222 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 28 - Forks: 5
meelgroup/approxmc
Approximate Model Counter
Language: C++ - Size: 944 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 76 - Forks: 26
RoryPoulter/SAT-Solver
Python SAT Solver
Language: Python - Size: 129 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
meelgroup/arjun
CNF minimizer and minimal independent set calculator
Language: C++ - Size: 933 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 18 - Forks: 5
JANECEA/Exact-Cover-SAT
Encodes, solves, and decodes the exact cover problem via reduction to SAT
Language: Python - Size: 59.6 KB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Language: Scala - Size: 2.24 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 61 - Forks: 3
