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

Language.Hasmtlib.Solver.CVC5

Synopsis

Documentation

cvc5 :: Config Source #

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