Searched refs:YicesSolver (Results 1 – 5 of 5) sorted by relevance
201 class YicesSolver : public SMTSolver class
255 void YicesSolver::run(SMTBenchmark& problem, SMTSolverResult& res, unsigned timeout) in run()
69 YicesSolver solver; in getInterpolant()70 YicesSolver::MinimizationResult mres = solver.minimize(_resBenchmark, costFunction(), res); in getInterpolant()
239 from pysmt.solvers.yices import YicesSolver240 installed_solvers['yices'] = YicesSolver
131 class YicesSolver(Solver, SmtLibBasicSolver, SmtLibIgnoreMixin): class