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. 905,251 total downloads last updated 8/7/2025 Latest version: 3.5.5 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. 43,656 total downloads last updated 7/9/2021 Latest version: 1.1.8 A solver for the reachability modulo theories problem.