Home
last modified time | relevance | path

Searched refs:YicesSolver (Results 1 – 5 of 5) sorted by relevance

/dports/math/vampire/vampire-4.5.1/Shell/
H A DSMTFormula.hpp201 class YicesSolver : public SMTSolver class
H A DSMTFormula.cpp255 void YicesSolver::run(SMTBenchmark& problem, SMTSolverResult& res, unsigned timeout) in run()
H A DInterpolantMinimizer.cpp69 YicesSolver solver; in getInterpolant()
70 YicesSolver::MinimizationResult mres = solver.minimize(_resBenchmark, costFunction(), res); in getInterpolant()
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/
H A Dfactory.py239 from pysmt.solvers.yices import YicesSolver
240 installed_solvers['yices'] = YicesSolver
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/
H A Dyices.py131 class YicesSolver(Solver, SmtLibBasicSolver, SmtLibIgnoreMixin): class