Hsmtlib.Solvers.Boolector

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

Documentation

startBoolector :: Mode -> String -> Maybe SolverConfig -> Maybe FilePath -> IO Solver

Function that initialyzes a boolector 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.