module Language.Hasmtlib.Solver.CVC5 where

import SMTLIB.Backends.Process
import Language.Hasmtlib.Type.Solver

-- | A 'SolverConfig' for CVC5.
--   Requires binary @cvc5@ to be in path.
cvc5 :: SolverConfig s
cvc5 :: forall s. SolverConfig s
cvc5 = Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s
forall s.
Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s
SolverConfig
  (Config
defaultConfig { exe = "cvc5", args = [] })
  Maybe Int
forall a. Maybe a
Nothing Maybe (Debugger s)
forall a. Maybe a
Nothing