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

Language.Hasmtlib.Solver.Yices

Synopsis

Documentation

yices :: ProcessSolver Source #

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