The latest version of smtlib-backends-z3 is 0.3.1-2.
smtlib-backends-z3
Version 0.3.1 revision 1 uploaded by FacundoDominguez.
Package meta
- Synopsis
- An SMT-LIB backend implemented using Z3's C API.
- Description
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.
- Author
- Quentin Aristote
- Bug reports
- n/a
- Category
- SMT
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io
- Package URL
- n/a
- Stability
- n/a