bitwuzla-binversion

Bitwuzla SMT solver executable

/! Deprecated. Standalone installer for the SMT solver Bitwuzla. OCaml users should use instead one of the packages bitwuzla, bitwuzla-c or the latest version bitwuzla-cxx to access the Bitwuzla API.

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

Tags SMT solver SMT-COMP 2020 QF_AUFBVFP
AuthorFrédéric Recoules
LicenseMIT
Published
Homepagehttps://bitwuzla.github.io
Issue Trackerhttps://github.com/bitwuzla/ocaml-bitwuzla/issues
MaintainerFrédéric Recoules <frederic.recoules@cea.fr>
Availableos-family = "debian" | os-family = "alpine"
Dependencies
Source [http] https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.0.0/bitwuzla-bin-0.0.0.tbz
sha256=d4226ee5d1972caae12ea7bfde7ffd20a04fa81abb7a85a7432fb71be34b6207
sha512=a94a466ef8b299c18cde51dd82e1be61f357de0e5efe617320ee7a888aeb8f7cd53d278f1e70e80b24c43003afe9595b8ad97c91c07a866616003e39642b35e8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam
No package is dependent