package bitwuzla-c

You can search for identifiers within the package.

in-package search v0.2.0

SMT solver for AUFBVFP (C API)

Install

Dune Dependency

bitwuzla.github.io Readme Changelog MIT License Edit opam file Versions (6)

Authors

F

Frédéric Recoules

Maintainers

F

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

Sources

bitwuzla-1.0.3.tbz

sha256=246d8a2b7074ae6873b53124091759d0b3b6146f53ad436a3941542379976160

sha512=961c6ff0c0458360c5330a45047968794e0c2b9d18ec8666aa7991a67bbf682a49ed6d7bfd551976da7e8d6e4be137b5c1cf24b449b028123dd55491fd9e9403

doc/index.html

bitwuzla-c

API

Library bitwuzla-c

Bitwuzla_c This is a straight one to one binding of the Bitwuzla C API.

On This Page

API
1. Library bitwuzla-c