bitwuzla
SMT solver for QF_AUFBVFP
README
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
Required Dependencies
Optional Dependencies
Build
dune build
Building the API documentation
To build the API documentation, it is required to install
dune build @doc
Running tests
To run the tests, it is required to install
dune runtest
Install
- Authors
-
- Maintainers
-
Sources
bitwuzla-0.0.1.tbz
sha256=2c486dbb38240297ddf18b118c5df552acf748630e0d63f6e12ce96f6ad42645
sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4
Dependencies
odoc
with-doc
ppx_expect
with-test
conf-g++
build
conf-gcc
build
conf-git
build
ocaml
>= "4.08"
dune
>= "2.7"
Reverse Dependencies