package bitwuzla-cxx

  1. Overview
  2. No Docs
SMT solver for AUFBVFP (C++ API)

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Recoules

Maintainers

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

Sources

bitwuzla-cxx-0.9.0.tbz
sha256=a4a4cd0e65e42f937a1368e46728d15f93f3319dea792c8265f7465b723d7586
sha512=1394d9eac9ec568ac904483f568df4f5f436d96fb92cb3e52187fe04397c882c269cad58fee0eafd30d04d3ec1a00a7a82a1861698a4cc2bd89ba046fa5e3a66

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”.

Tags

SMT solver AUFBVFP

Published: 25 Mar 2026

Dependencies (7)

  1. zarith
  2. conf-mpfr
  3. conf-g++ build
  4. conf-gcc build
  5. conf-git build
  6. ocaml >= "4.12"
  7. dune >= "3.7"

Dev Dependencies (3)

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

Used by

None

Conflicts

None