@hackage smtlib-backends0.3
Low-level functions for SMT-LIB-based interaction with SMT solvers.
Categories
License
MIT
Maintainer
quentin.aristote@tweag.io
Links
Versions
Installation
Dependencies (2)
- base >=4.14 && <4.20
- bytestring >=0.10.12 && <0.13 Show all…
Dependents (5)
@hackage/smtlib-backends-process, @hackage/hasmtlib, @hackage/smtlib-backends-tests, @hackage/smtlib-backends-z3, @hackage/liquid-fixpoint
This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. The smtlib-backends-process package provides a backend that runs solvers as external processes, and the smtlib-backends-z3 package provides a backend that uses inlined calls to Z3's C API.