package bitwuzla

You can search for identifiers within the package.

in-package search v0.2.0

SMT solver for QF_AUFBVFP

Install

Dune Dependency

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

Authors

F

Frédéric Recoules

Maintainers

F

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

Sources

bitwuzla-0.0.1.tbz

sha256=2c486dbb38240297ddf18b118c5df552acf748630e0d63f6e12ce96f6ad42645

sha512=7cd047a5d64444077381222d8c3190689b6b6160ed2fa2520eafc3e1ed267cfb9b2aa4580ae5b6b3d1294aa55fa08a76c2098adff51098beb4535a37c6175dc4

doc/index.html

bitwuzla

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