module Language.Hasmtlib.Solver.Yices where

import Language.Hasmtlib.Solver.Common
import qualified SMTLIB.Backends.Process as P

yices :: ProcessSolver
yices :: ProcessSolver
yices = Config -> ProcessSolver
ProcessSolver (Config -> ProcessSolver) -> Config -> ProcessSolver
forall a b. (a -> b) -> a -> b
$ Config
P.defaultConfig { P.exe = "yices-smt2", P.args = ["--smt2-model-format"] }