@hackage / smtlib-backends

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

Latest0.4

About

Metadata

  • Last updated , by FacundoDominguez
  • License MIT

  • Maintained by: facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io

  • Lottery factor: 1

Links

Installation

Readme

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.