Uses of Class
org.smtlib.solvers.Solver_yices2

Packages that use Solver_yices2

Package	Description
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of Solver_yices2 in org.smtlib.solvers

Subclasses of Solver_yices2 in org.smtlib.solvers

Modifier and Type	Class	Description
class	Solver_yices2_2_6	yices2 2.6.5: by default it answers get-model in yices's own model format, not SMT-LIB's; with --smt2-model-format it answers (model (define-fun ...) ...), whose wrapper AbstractSolver#modelResponse removes.