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

sha256=5071993895d2ed5f41377e52ec359578ade24d2a5f9fe7836c3c76eeb7602796

sha512=8b7a133fd22ade27558cf22e91bfcdbf9a475d8d62e859d26d00c157e138fbe5ba273b1868e2fb5ad450d821aa7f992a7ac1c9d8b83e6a889b0488032ffb9bd9

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