package bitwuzla
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=246d8a2b7074ae6873b53124091759d0b3b6146f53ad436a3941542379976160
sha512=961c6ff0c0458360c5330a45047968794e0c2b9d18ec8666aa7991a67bbf682a49ed6d7bfd551976da7e8d6e4be137b5c1cf24b449b028123dd55491fd9e9403
CHANGES.md.html
1.0.3 (2022-08-30)
Update Bitwuzla sources.
Vendor submodules:
Bitwuzla commit:a2c3cc2
1.0.2 (2022-06-16)
Update Bitwuzla and its dependencies to more recent versions.
Vendor submodules:
Cadical tag:rel-1.5.2
Btor2Tools commit:db46e96
Bitwuzla commit:19dd987
1.0.1 (2021-12-20)
Fix
timeout
function not working properlyDecrease default model generation level (
2
->1
)
1.0.0 (2021-07-11)
Brand new Bitwuzla
OCaml API in addition the low level Bitwuzla_c
C API.
Online documentation is available at https://bitwuzla.github.io/docs/ocaml/.
bitwuzla-c
package installs C API binding;bitwuzla
package installs more OCaml-ish, type safer Bitwuzla API.
Vendor submodules:
Cadical tag:rel-1.4.1
SymFPU commit:8fbe139
Btor2Tools commit:6ba194b
Bitwuzla commit:58d7205
0.0.1 (2021-05-24)
Fix compilation errors on non debian familly os:
Remove
bitwuzla-bin
package (it required non always availablestatic
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:
Cadical tag:sc2021
SymFPU commit:8fbe139
Btor2Tools commit:1df768d
Bitwuzla commit:2f4dad6