package bitwuzla-bin

  1. Overview
  2. No Docs
Bitwuzla SMT solver executable

Install

Dune Dependency

Authors

Maintainers

Sources

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

Description

/! 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

Published: 17 Jun 2021

Dependencies (6)

  1. conf-gmp build
  2. conf-g++ build
  3. conf-gcc build
  4. conf-cmake build
  5. conf-git build
  6. dune >= "2.6"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.