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.0.tbz

sha256=004ccb630a070829fedcbaf071fc50f5c7df2e5f47d2016e228ab775df6961d8

sha512=9a3d46b0a0379228a17f9d5f88cf7c409eab7c72d9296a939bc254120bc89ede9471d0930f8d2f70463e99e627649e56e54556ed2f008a3800f9387a6959674a

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