Uses of Class
org.smtlib.solvers.Solver_smt

Packages that use Solver_smt
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_smt in org.smtlib.solvers

    Subclasses of Solver_smt in org.smtlib.solvers
    Modifier and Type
    Class
    Description
    class 
    Solver_yices2
    This class is an adapter that takes the SMT-LIB ASTs and translates them into yices2 commands
    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.