Skip To Content
  • Packages
  • Upload
  • Statistics
  • Documentation
  • Downloads
  • Blog
  • Sign in
shaz_qadeer gravatar
2
Packages
813,283
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.
    • 772,251 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,032 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