dimacs-cnf

There are 0 repository under dimacs-cnf topic.

MatthiasNickles / diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
satisfiability answer-set-programming optimization probabilistic-programming artificial-intelligence sat-solver logic-programming psat constraint-programming differentiable-satisfiability differentiable-programming dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization weighted-sat-solving
Language:Scala 60
meelgroup / cmsgen
CMSGen, a fast weighted uniform-like sampler
cnf dimacs-cnf sampler uniform-sampling
Language:C++ 8
sn2727 / cdcl-sat-solver
CDCL SAT Solver implemented in C++ using watches and restarts
cdcl-solver cpp dimacs-cnf
Language:C++ 0
meelgroup / SBVA
Structured BVA CNF rewriter
cnf conjunctive-normal-form dimacs-cnf sat-solver
Language:C++