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

Language.Hasmtlib.Solver.OpenSMT

Synopsis

Documentation

opensmt :: Config Source #

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