hasmtlib-1.1.0: src/Language/Hasmtlib/Solver/CVC5.hs

module Language.Hasmtlib.Solver.CVC5 where

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

cvc5 :: ProcessSolver
cvc5 = ProcessSolver $ P.defaultConfig { P.exe = "cvc5", P.args = [] }