package bitwuzla

  1. Overview
  2. Docs
SMT solver for QF_AUFBVFP

Install

Dune Dependency

Authors

Maintainers

Sources

bitwuzla-0.0.1.tbz
sha256=2c486dbb38240297ddf18b118c5df552acf748630e0d63f6e12ce96f6ad42645
sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4

CHANGES.md.html

0.0.1 (2021-05-24)

  • Fix compilation errors on non debian familly os:

    • Remove bitwuzla-bin package (it required non always available static version of system libraries)

    • Completely rework the building rules of foreign archives (side effect: drop conf-cmake dependency)

    • Fix Cadical compilation on archlinux

  • Upgrade dune to 2.7 (fix opam lint warning)

0.0.0 (2021-05-20)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

  • Bitwuzla_c library exposes low level functions from the C API;

  • Bitwuzla_z library converts bitvector value to Zarith integer;

  • bitwuzla-bin package installs Bitwuzla executable.

Vendor submodules:

OCaml

Innovation. Community. Security.