Refactored unsat core extraction into SolverMethods
Refactored unsat core extraction into SolverMethods
Merge pull request #57 from chsticksel/kind2-server

Refactored unsat core extraction into SolverMethods