smtlib-backends: Low-level functions for SMT-LIB-based interaction with SMT solvers.

This library provides an extensible interface for interacting with SMT solvers using SMT-LIB. The smtlib-backends-process 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.

Modules

[Index] [Quick Jump]

Downloads

• smtlib-backends-0.2.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• FacundoDominguez

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates