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

shaz_qadeer 

  • Boogie

    by: shaz_qadeer boogie-org
    • .NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
    • 770,931 total downloads
    • last updated 11/26/2024
    • Latest version: 3.4.3
    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.
    • 41,023 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 2024 - About - Terms of Use - Privacy Statement - Trademarks