package bitwuzla-bin

You can search for identifiers within the package.

in-package search v0.2.0

package bitwuzla-bin

bitwuzla-bin
- CHANGES
- LICENSE
- README

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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