GitHub topics: conflict-driven-clause-learning
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: about 3 hours ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
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
Related Keywords
cdcl-algorithm
2
conflict-driven-clause-learning
2
sat
2
theory-solver
1
solver
1
smt-solver
1
smt
1
satisfiability-modulo-theories
1
satisfiability
1
sat-solver
1
resolution-proof
1
propositional-resolution
1
propositional-logic
1
formal-verification
1
first-order-logic
1
dpll-solver
1
dpll-algorithm
1
conflict-resolution
1
conflict-based-search
1
backtracking-search
1