| Safe Haskell | Safe-Inferred |
|---|
Hsmtlib.Solvers.Cvc4
Description
Module wich has the standard configuration for all Cvc4 Modes and provides the initilizing function.
- startCvc4 :: Mode -> String -> Maybe SolverConfig -> Maybe FilePath -> IO Solver
Documentation
startCvc4 :: Mode -> String -> Maybe SolverConfig -> Maybe FilePath -> IO SolverSource
Function that initialyzes a Cvc4 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 Context and Online Mode if a FilePath is passed then it's ignored.