module Language.Hasmtlib.Solver.CVC5 where

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

-- TODO: Add support for lib binding: https://github.com/tweag/smtlib-backends/tree/master/smtlib-backends-cvc5

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