@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 Mon, 29 Jan 2024
- 0.2 Wed, 28 Dec 2022

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

Installation
In your cabal file:
Dependencies (6)
- base >=4.14 && <4.17.0
- bytestring >=0.10.12 && <0.11
- 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 (1)
@hackage/liquid-fixpoint