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

Language.Hasmtlib.Solver.Yices

Synopsis

Documentation

yices :: Config Source #

A Config for Yices. Requires binary yices-smt2 to be in path.