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 (5)

Authors

F

Frédéric Recoules

Maintainers

F

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

Sources

bitwuzla-cxx-0.6.0.tbz

sha256=5071993895d2ed5f41377e52ec359578ade24d2a5f9fe7836c3c76eeb7602796

sha512=8b7a133fd22ade27558cf22e91bfcdbf9a475d8d62e859d26d00c157e138fbe5ba273b1868e2fb5ad450d821aa7f992a7ac1c9d8b83e6a889b0488032ffb9bd9

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: 05 Nov 2024

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