@hackage smtlib-backends-z30.2
An SMT-LIB backend implemented using Z3's C API.
Categories
License
MIT
Maintainer
quentin.aristote@tweag.io
Links
Versions
Installation
Dependencies (5)
- base >=4.14 && <4.17.0
- bytestring >=0.10.12 && <0.12
- containers >=0.6.4 && <0.7
- inline-c >=0.9.1 && <0.10
- smtlib-backends >=0.2 && <0.3 Show all…
Dependents (1)
@hackage/liquid-fixpoint
This library implements an SMT-LIB backend (in the sense of the smtlib-backends package) using inlined calls to Z3's C API. It is thus in particular faster than the standard backends relying on running solvers as external processes, as the OS doesn't need to spawn processes and handle pipes between them.