On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package bitwuzla-cxx
On This Page
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
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:
On This Page