module Language.Hasmtlib.Solver.OpenSMT where import SMTLIB.Backends.Process import Language.Hasmtlib.Type.Solver -- | A 'SolverConfig' for OpenSMT. -- Requires binary @opensmt@ to be in path. opensmt :: SolverConfig s opensmt :: forall s. SolverConfig s opensmt = Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s forall s. Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s SolverConfig (Config defaultConfig { exe = "opensmt", args = [] }) Maybe Int forall a. Maybe a Nothing Maybe (Debugger s) forall a. Maybe a Nothing