Hsmtlib-0.2.0.6: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Safe HaskellSafe-Inferred

Hsmtlib.Solvers.Z3

Description

Module wich has the standard configuration for all Z3 Modes and provides the initilizing function.

Synopsis

Documentation

startZ3 :: Mode -> String -> Maybe SolverConfig -> Maybe FilePath -> IO SolverSource

Function that initialyzes a Z3 Solver. It Receives a Mode, an SMT Logic, it can receive a diferent configuration for the solver and an anternative path to create the script in Script Mode.

In Online Mode if a FilePath is passed then it's ignored.