conflict-driven-clause-learning

There are 0 repository under conflict-driven-clause-learning topic.

thtran97 / CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
sat cdcl-algorithm conflict-driven-clause-learning
Language:Python 7
marcluque / YASER
Yet Another Sat solvER
smt smt-solver sat-solver sat theory-solver satisfiability formal-verification solver dpll-algorithm dpll-solver resolution-proof conflict-resolution cdcl-algorithm conflict-driven-clause-learning conflict-based-search first-order-logic propositional-logic propositional-resolution satisfiability-modulo-theories backtracking-search
Language:C 4