Topic: "conflict-driven-clause-learning"
thtran97/CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
Language: Python - Size: 59.6 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 4 - Forks: 0
Related Topics
cdcl-algorithm
2
sat
2
backtracking-search
1
conflict-based-search
1
conflict-resolution
1
dpll-algorithm
1
dpll-solver
1
first-order-logic
1
formal-verification
1
propositional-logic
1
propositional-resolution
1
resolution-proof
1
sat-solver
1
satisfiability
1
satisfiability-modulo-theories
1
smt
1
smt-solver
1
solver
1
theory-solver
1