Fix compilation errors on non debian familly os:
bitwuzla-bin package (it required non always available static version of system libraries)conf-cmake dependency)archlinuxdune to 2.7 (fix opam lint warning)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: