| classes: | |
| documentation: |
--- ---------------------------------------------------------------------------- --- This module provides the SMT solver configuration for the z3 solver. --- --- @author Jan Tikovsky --- @version November 2017 --- ---------------------------------------------------------------------------- |
| name: |
Solver.SMTLIB.Z3 |
| operations: |
Solver.SMTLIB.Internal.Interaction.liftIOA Solver.SMTLIB.Session.defSMTOpts Solver.SMTLIB.Session.evalSessions Solver.SMTLIB.Session.freshSMTVars Solver.SMTLIB.Session.setSMTOpts Solver.SMTLIB.Session.solveAllSMTVars Solver.SMTLIB.Session.solveSMT Solver.SMTLIB.Session.solveSMTVars z3 |
| sourcecode: |
module Solver.SMTLIB.Z3
( module Solver.SMTLIB.Session
, z3
) where
import Solver.SMTLIB.Session
--- z3 solver configuration
z3 :: SMTSolver
z3 = SMTSolver { executable = "z3", flags = ["-smt2", "-in"] }
|
| types: |
Solver.SMTLIB.Internal.Interaction.SMTSess Solver.SMTLIB.Types.SMTError Solver.SMTLIB.Types.SMTOpts Solver.SMTLIB.Types.SMTSolver |
| unsafe: |
safe |