@hackage smtlib-backends-process0.2

An SMT-LIB backend running solvers as external processes.

Categories
License
MIT
Maintainer
quentin.aristote@tweag.io
Links
Versions
- 0.3 Thu, 15 Aug 2024
- 0.2 Wed, 28 Dec 2022

Installation
In your cabal file:
Dependencies (6)
- base >=4.14 && <4.17.0
- bytestring >=0.10.12 && <0.12
- async >=2.2.4 && <2.3
- data-default >=0.7.1 && <0.8
- smtlib-backends >=0.2 && <0.3
- typed-process >=0.2.10 && <0.3
Dependents (2)
@hackage/hasmtlib, @hackage/liquid-fixpoint

This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) using by running solvers as external processes.