smtlib-backends: Low-level functions for SMT-LIB-based interaction with SMT solvers.
This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. The smtlib-backends-process 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.
- smtlib-backends-0.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
|Dependencies||base (>=4.14 && <4.17.0), bytestring (>=0.10.12 && <0.12) [details]|
|Revised||Revision 1 made by qaristote at 2022-12-28T14:13:41Z|
|Source repo||head: git clone https://github.com/tweag/smtlib-backends
this: git clone https://github.com/tweag/smtlib-backends(tag 0.2)
|Uploaded||by qaristote at 2022-12-16T13:44:30Z|
|Reverse Dependencies||3 direct, 0 indirect [details]|
|Downloads||25 total (13 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]