package bitwuzla-cxx

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 (8)

Authors

F

Frédéric Recoules

Maintainers

F

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

Sources

bitwuzla-cxx-0.6.1.tbz

sha256=420672d1ae103d5920881fa5844c38d2913d4deb8e39e328c2d51bd05f8137a7

sha512=99fb414c9bba4f120d10696f83a915c6bd14661f7e424792e0a30f0ff2bd4a59832207d83ad4004bed36da827023c54e588de566d3ec97ed305b7f2e121f611e

doc/index.html

bitwuzla-cxx

API

Library bitwuzla-cxx

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

On This Page

API
1. Library bitwuzla-cxx