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

Language.Hasmtlib.Solver.OpenSMT

Synopsis

Documentation

opensmt :: SolverConfig s Source #

A SolverConfig for OpenSMT. Requires binary opensmt to be in path.