Searched defs:CoreSolver (Results 1 – 2 of 2) sorted by relevance
46 class CoreSolver; variable265 friend class CoreSolver; variable
35 CoreSolver::CoreSolver(context::Context* c, TheoryBV* bv) in CoreSolver() function in CoreSolver