package bitwuzla-c

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

Install 

dune-project
 Dependency

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

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 C API.

Tags

SMT solver SMT-COMP 2020 AUFBVFP

Published: 04 Apr 2026

Dependencies (6)

  1. conf-gmp
  2. conf-g++ build
  3. conf-gcc build
  4. conf-git build
  5. ocaml >= "4.08"
  6. 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 (1)

  1. bitwuzla >= "1.0.0" & < "1.0.2" | >= "1.0.6"

Conflicts (1)

  1. bitwuzla < "1.0.0"