package bitwuzla

  1. Overview
  2. No Docs
SMT solver for AUFBVFP

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Recoules

Maintainers

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

Sources

bitwuzla-1.0.6.tbz
sha256=78c21ffe91a48c3ac5bcf98053c20bdbaf451d952254f7cc39ff9d3001851397
sha512=cdce5b4cffac45e0b27957956c097818278a49770a544cb2293e467ef0ae9909e4053668aada3a2e8ca72f5d8e86445e3bf5cae2202891634c06d9af50fe3e49

Description

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

Published: 04 Apr 2026

Dependencies (3)

  1. zarith
  2. bitwuzla-c = version
  3. dune >= "2.7"

Dev Dependencies (3)

  1. odoc with-doc
  2. ppx_expect with-test & >= "v0.13"
  3. ppx_inline_test with-test & >= "v0.13"

Used by

None

Conflicts

None