Topic: "theory-solver"
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
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