smtlib-backends-z3: An SMT-LIB backend implemented using Z3's C API.

[ library, mit, smt ] [ Propose Tags ]

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.

Modules

[Last Documentation]

  • SMTLIB
    • Backends
      • SMTLIB.Backends.Z3

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2, 0.3, 0.3.1
Change log CHANGELOG.md
Dependencies base (>=4.14 && <4.20), bytestring (>=0.10.12 && <0.13), smtlib-backends (>=0.3 && <0.4) [details]
License MIT
Author Quentin Aristote
Maintainer facundo.dominguez@tweag.io, gabriel.hondet@tweag.io, mathieu.montin@tweag.io
Category SMT
Source repo head: git clone https://github.com/tweag/smtlib-backends(smtlib-backends-z3)
this: git clone https://github.com/tweag/smtlib-backends(tag 0.3)(smtlib-backends-z3)
Uploaded by FacundoDominguez at 2024-01-29T11:54:03Z
Distributions NixOS:0.3.1
Reverse Dependencies 1 direct, 22 indirect [details]
Downloads 196 total (14 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2024-01-29 [all 2 reports]