bitwuzlaversion
SMT solver for AUFBVFP
OCaml binding for the SMT solver Bitwuzla.
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 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 = "linux" & (os-distribution != "ol" & os-distribution != "centos" | os-version >= "8") | os = "macos" & os-distribution = "homebrew" |
Dependencies |
|
Source [http] | https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/1.0.5/bitwuzla-1.0.5.tbz sha256=bf329089e4fbf78e5d4caff349227a0b98a75d2f174931c9429ae8c5949c6a6c sha512=bcd5fa342fba50c28290e87f4754d63975da148d466af65fc0d6305840d5202d37e7dd7ba231887b41e48ec76039d16c9c9fa7ce6190fdbb6fe3eb4aa5d54bfd |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bitwuzla/bitwuzla.1.0.5/opam |
Optionally used by
- binsec>=0.4.1