shaz_qadeer Boogie by: michael-emmi shaz_qadeer boogie-org .NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher. 646,526 total downloads last updated 5/23/2024 Latest version: 3.1.6 An SMT-based program verifier. Corral by: michael-emmi shaz_qadeer boogie-org .NET 5.0 This package targets .NET 5.0. The package is compatible with this framework or higher. 39,953 total downloads last updated 7/9/2021 Latest version: 1.1.8 A solver for the reachability modulo theories problem.
