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

[ library, mit, smt ] [ Propose Tags ]

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.

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2, 0.3, 0.4
Change log CHANGELOG.md
Dependencies base (>=4.14 && <4.20), bytestring (>=0.10.12 && <0.13) [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
this: git clone https://github.com/tweag/smtlib-backends(tag 0.3)
Uploaded by FacundoDominguez at 2024-05-28T20:15:39Z
Distributions NixOS:0.4
Reverse Dependencies 5 direct, 22 indirect [details]
Downloads 557 total (52 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2024-05-28 [all 1 reports]