An SMT-based program verifier.
Info
| Version: | 3.5.6 |
| Author(s): | Boogie |
| Last Update: | Wednesday, December 10, 2025 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Boogie |
Install
Install-Package Boogie
dotnet add package Boogie
paket add Boogie
Boogie Download (Unzip the "nupkg" after downloading)
