package bitwuzla-cxx

  1. Overview
  2. No Docs
SMT solver for AUFBVFP (C++ API)

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Recoules

Maintainers

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

Sources

bitwuzla-cxx-0.2.0.tbz
sha256=26950e1f1247a755c1a410a4709e06ba42d6a73a6a90d2a7d29a2e0088e95603
sha512=a700abb74be74b24eefe282207803f3a35c36ddd52d0fe0bfb7225f8149d02afaa063431adba054307a52f451af00f07c5c525ba6b09255aae8f0bbf4da2e5a3

Description

OCaml binding for the SMT solver Bitwuzla C++ 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 AUFBVFP

Added to opam-repository:

Dependencies (6)

  1. zarith
  2. conf-g++ build
  3. conf-gcc build
  4. conf-git build
  5. ocaml >= "4.12" & < "5.0~"
  6. dune >= "3.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 (2)

  1. bitwuzla < "0.1"
  2. bitwuzla-c