package bitwuzla-bin

  1. Overview
  2. Docs
Bitwuzla SMT solver executable

Install 

dune-project
 Dependency

bitwuzla.github.io Readme Changelog MIT License Edit opam file Versions (2)

Authors

  1. F
    Frédéric Recoules

Maintainers

  1. F
    Frédéric Recoules <frederic.recoules@cea.fr>

Sources

bitwuzla-bin-0.0.0.tbz
sha256=d4226ee5d1972caae12ea7bfde7ffd20a04fa81abb7a85a7432fb71be34b6207
sha512=a94a466ef8b299c18cde51dd82e1be61f357de0e5efe617320ee7a888aeb8f7cd53d278f1e70e80b24c43003afe9595b8ad97c91c07a866616003e39642b35e8

doc/CHANGES.html

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: