Skip To Content
  • Packages
  • Upload
  • Statistics
  • Documentation
  • Downloads
  • Blog
  • Sign in
shaz_qadeer gravatar
2
Packages
1,025,080
Total downloads of packages

shaz_qadeer 

  • Boogie

    by: shaz_qadeer boogie-org
    • .NET 8.0 This package targets .NET 8.0. The package is compatible with this framework or higher.
    • 977,715 total downloads
    • last updated 12/10/2025
    • Latest version: 3.5.6
    An SMT-based program verifier.

  • Corral

    by: shaz_qadeer boogie-org
    • .NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher.
    • 47,483 total downloads
    • last updated 7/9/2021
    • Latest version: 1.1.8
    A solver for the reachability modulo theories problem.
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 - Privacy Statement - Trademarks