hasmtlib-2.8.1: A monad for interfacing with external SMT solvers
Safe HaskellSafe-Inferred
LanguageGHC2021

Language.Hasmtlib.Solver.CVC5

Synopsis

Documentation

cvc5 :: SolverConfig s Source #

A SolverConfig for CVC5. Requires binary cvc5 to be in path.