package bitwuzla-cxx

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 Readme Changelog MIT License Edit opam file Versions (8)

Authors

F

Frédéric Recoules

Maintainers

F

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

Sources

bitwuzla-cxx-0.8.0.tbz

sha256=b7c5606e279ce66e82615f1b20d26ab3aba1c7460025c45979a59118da03e804

sha512=96b2cac8db2028c3f00586cb841c90e90db3859e8b4dd2fcea3a1fd9303359e5aec26a46d8b18c75d41a495b62e1f1f656c496c486223a9f235ae9837b86185e

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: 02 Jun 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