Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
ocaml-bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solvers for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations.
This library contains basic bindings for using Bitwuzla in OCaml code. Bitwuzla sources and dependencies are repackaged for convenient use with opam.
From Opam
opam install bitwuzla
From source
The latest version of ocaml-bitwuzla is available on GitHub: https://github.com/bitwuzla/ocaml-bitwuzla