package bitwuzla-c

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

Install

bitwuzla.github.io Readme Changelog MIT License Edit opam file

Authors

  1. F
    Frédéric Recoules

Maintainers

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

Sources

bitwuzla-1.0.5.tbz
sha256=bf329089e4fbf78e5d4caff349227a0b98a75d2f174931c9429ae8c5949c6a6c
sha512=bcd5fa342fba50c28290e87f4754d63975da148d466af65fc0d6305840d5202d37e7dd7ba231887b41e48ec76039d16c9c9fa7ce6190fdbb6fe3eb4aa5d54bfd

Description

OCaml binding for the SMT solver Bitwuzla C API.

Tags

SMT solver SMT-COMP 2020 AUFBVFP

Published: 24 Feb 2023

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.5"

Conflicts (1)

  1. bitwuzla < "1.0.0"