package bitwuzla-cxx

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

Install

Dune Dependency

Authors

Maintainers

Sources

bitwuzla-cxx-0.4.0.tbz
sha256=87d43d446390cdfb24ed4e2dfb8e5435bd678a0cec2171a840b4a5d5c025cb68
sha512=2a9b97f316e3fd56e060dad51956bcc11d832237136b38c97f1cf16f8e1befd722a0569585c3a4f804392a71b64cc00a17c229434ea04ffaf81b1e581ac5f83e

CHANGES.md.html

0.4.0 (2023-03-08)

Update Bitwuzla sources.

Bitwuzla_cxx should now be usable with OCaml 5 (not thoroughly tested).

Vendor submodules:

0.3.0 (2023-12-12)

Update Bitwuzla sources.

Bitwuzla_cxx can now be installed alongside Bitwuzla_c.

Vendor submodules:

0.2.0 (2023-09-01)

Initial release.

OCaml binding for the SMT solver Bitwuzla.

Vendor submodules:

OCaml

Innovation. Community. Security.