package bitwuzla-bin
Bitwuzla SMT solver executable
Install
Dune Dependency
Authors
Maintainers
Sources
bitwuzla-1.0.0.tbz
sha256=004ccb630a070829fedcbaf071fc50f5c7df2e5f47d2016e228ab775df6961d8
sha512=9a3d46b0a0379228a17f9d5f88cf7c409eab7c72d9296a939bc254120bc89ede9471d0930f8d2f70463e99e627649e56e54556ed2f008a3800f9387a6959674a
Description
/! Aging. 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”.
Dependencies (5)
-
conf-gmp
build -
conf-g++
build -
conf-gcc
build -
conf-cmake
build -
conf-git
build
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page