dimacs-cnf

There are 4 repositories under dimacs-cnf topic.

MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
Language:Scala63 4 14
meelgroup/cmsgen
CMSGen, a fast weighted uniform-like sampler
Language:C++9 2 53
sn2727/cdcl-sat-solver
CDCL SAT Solver implemented in C++ using watches and restarts
Language:C++0 1 00
meelgroup/SBVA
Structured BVA CNF rewriter
Language:C++0 0