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. 805,704 total downloads last updated 3/12/2025 Latest version: 3.5.1 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,422 total downloads last updated 7/9/2021 Latest version: 1.1.8 A solver for the reachability modulo theories problem.