module Language.Hasmtlib.Solver.Z3 where

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

-- | A 'SolverConfig' for Z3.
--   Requires binary @z3@ to be in path.
z3 :: SolverConfig s
z3 :: forall s. SolverConfig s
z3 = Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s
forall s.
Config -> Maybe Int -> Maybe (Debugger s) -> SolverConfig s
SolverConfig
  Config
defaultConfig
  Maybe Int
forall a. Maybe a
Nothing Maybe (Debugger s)
forall a. Maybe a
Nothing