GitHub topics: theory-solver
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
Related Keywords
backtracking-search
1
cdcl-algorithm
1
conflict-based-search
1
conflict-driven-clause-learning
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
1
sat-solver
1
satisfiability
1
satisfiability-modulo-theories
1
smt
1
smt-solver
1
solver
1
theory-solver
1