package bitwuzla-cxx

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

SMT solver for AUFBVFP (C++ API)

Install

Dune Dependency

bitwuzla.github.io Edit opam file Versions (7)

Authors

F

Frédéric Recoules

Maintainers

F

Frédéric Recoules <frederic.recoules@cea.fr>

Sources

bitwuzla-cxx-0.7.0.tbz

sha256=496fb480731b9a12db47a212d0c752b749c33f811ae684260c9643f69f257abb

sha512=f092f868a053526efdcb5b2a5a83e3672f64a12de9dff4fa13f174afc5b4ec8b083c70a12581cad52cb3889ce000d88080c8752242bc7e992c11357d848f4b23

Description

OCaml binding for the SMT solver Bitwuzla C++ API.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Published: 15 May 2025

Dependencies (6)

zarith
conf-g++ build
conf-gcc build
conf-git build
ocaml >= "4.12"
dune >= "3.7"

Dev Dependencies (3)

odoc with-doc
ppx_expect with-test & >= "v0.13"
ppx_inline_test with-test & >= "v0.13"

Used by

None

Conflicts