Skip To Content
  • Packages
  • Upload
  • Statistics
  • Documentation
  • Downloads
  • Blog
  • Sign in
ZehMatt gravatar
1
Package
439
Total downloads of packages

ZehMatt 

  • BitwuzlaSharp

    by: ZehMatt
    • .NET Standard 2.0 This package targets .NET Standard 2.0. The package is compatible with this framework or higher.
    • 439 total downloads
    • last updated 6/5/2026
    • Latest version: 0.1.3
    • smt solver bitwuzla smt-lib bitvector floating-point z3 theorem-proving
    .NET bindings for the Bitwuzla SMT solver (bit-vectors, floating-point, arrays, and uninterpreted functions). Bundles the native Bitwuzla library for win-x64 and linux-x64.
Contact

Got questions about NuGet or the NuGet Gallery?

Status

Find out the service status of NuGet.org and its related services.

FAQ

Read the Frequently Asked Questions about NuGet and see if your question made the list.

© Microsoft 2026 - About - Terms of Use - Your Privacy Choices Opt-Out IconYour Privacy Choices - Privacy Statement - Trademarks