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

Language.Hasmtlib.Solver.Yices

Synopsis

Documentation

yices :: SolverConfig s Source #

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