smtlib-backends
Version 0.4 revision 1 uploaded by FacundoDominguez.
Package meta
- Synopsis
- Low-level functions for SMT-LIB-based interaction with SMT solvers.
- Description
This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. The smtlib-backends-process package provides a backend that runs solvers as external processes, and the smtlib-backends-z3 package provides a backend that uses inlined calls to Z3's C API.
- 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