@hackage smtlib-backends-process0.3

An SMT-LIB backend running solvers as external processes.

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

Installation
In your cabal file:
Dependencies (4)
- base >=4.14 && <4.18
- bytestring >=0.10.12 && <0.12
- process >=1.6 && <1.7
- smtlib-backends >=0.3 && <0.4
Dependents (1)
@hackage/liquid-fixpoint