@hackage smtlib-backends-process0.3

An SMT-LIB backend running solvers as external processes.

Installation
In your cabal file:
Dependencies (4)
- base >=4.14 && <4.23
- bytestring >=0.10.12 && <0.13
- process >=1.6 && <1.7
- smtlib-backends >=0.3 && <0.5
Dependents (2)
@hackage/hasmtlib, @hackage/liquid-fixpoint

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