@hackage / smtlib-backends-z3

An SMT-LIB backend implemented using Z3's C API.

Latest0.3.1

About

Metadata

  • Last updated , by FacundoDominguez
  • License MIT

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

  • Lottery factor: 0

Links

Installation

Readme

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.