theory-solver

There are 0 repository under theory-solver topic.

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

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.

marcluque / YASER