Uses of Class
org.smtlib.solvers.Solver_z3_recent

Packages that use Solver_z3_recent

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_z3_recent in org.smtlib.solvers

Subclasses of Solver_z3_recent in org.smtlib.solvers

Modifier and Type	Class	Description
class	Solver_z3_4_5	z3 4.5.0: as recent z3, except that it writes echo's text unquoted even with SMTLIB2_COMPLIANT (4.6 and later quote it), so where it ends cannot be found (#136), the response to echo is its argument; and it rejects every check-sat-assuming (see translate)