package bitwuzla-bin

  1. Overview
  2. Docs
Bitwuzla SMT solver executable

Install

Dune Dependency

bitwuzla.github.io Edit opam file Versions (2)

Authors

  1. F
    Frédéric Recoules

Maintainers

  1. F
    Frédéric Recoules <frederic.recoules@cea.fr>

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”.

Tags

SMT solver SMT-COMP 2020 AUFBVFP

Published: 12 Jul 2021

Dependencies (5)

  1. conf-gmp build
  2. conf-g++ build
  3. conf-gcc build
  4. conf-cmake build
  5. conf-git build

Dev Dependencies

None

Used by

None

Conflicts

None