package bitwuzla-cxx
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:
Bitwuzla tag:0.3.0
0.2.0 (2023-09-01)
Initial release.
OCaml binding for the SMT solver Bitwuzla.
Vendor submodules:
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>