k-cnf

There are 0 repository under k-cnf topic.

brandimarte / satisfyme
A k-satisfiability solver based on Knuth dancing-links X algorithm.
satisfiability-problem conjunctive-normal-form k-sat k-cnf generalized-cover-problem dancing-links np-complete
Language:C 0
todoge / CDCL-SAT-SOLVER
A CDCL approach to SAT solvers and a study of random k-CNF formulas
k-cnf sat-solver
Language:Python 0

brandimarte / satisfyme