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