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 |
|---|---|
| Author | Frédéric Recoules |
| License | MIT |
| Published | |
| Homepage | https://bitwuzla.github.io |
| Issue Tracker | https://github.com/bitwuzla/ocaml-bitwuzla/issues |
| Maintainer | Frédéric Recoules <frederic.recoules@cea.fr> |
| Available | os-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 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bitwuzla-bin/bitwuzla-bin.0.0.0/opam |
No package is dependent
