package bitwuzla-cxx

  1. Overview
  2. Docs
SMT solver for AUFBVFP (C++ API)

Install 

dune-project
 Dependency

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

Authors

  1. F
    Frédéric Recoules

Maintainers

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

Sources

bitwuzla-cxx-0.3.0.tbz
sha256=b5f4335ab0760bb76175e43e3bad04718620d39af1c5ff35863528cdf9bd2b59
sha512=55492d7b224263a5123449500d321f54dddfd0c66299cd60525c13f079d6cf9e8756329abf8bd54750f3b1d71f9774b30b3327cf358fb95a6a5b5ab226146979

doc/index.html

bitwuzla-cxx

API

Library bitwuzla-cxx

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