Package Description.
Info
| Version: | 3.5.3 |
| Author(s): | Boogie |
| Last Update: | Tuesday, May 13, 2025 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Boogie.VCGeneration |
Install
Install-Package Boogie.VCGeneration
dotnet add package Boogie.VCGeneration
paket add Boogie.VCGeneration
Boogie.VCGeneration Download (Unzip the "nupkg" after downloading)
Dependencies
- Boogie.BaseTypes(>= 2.8.26)
- Boogie.CodeContractsExtender(>= 2.8.26)
- Boogie.Core(>= 2.8.26)
- Boogie.Graph(>= 2.8.26)
- Boogie.Model(>= 2.8.26)
- Boogie.VCExpr(>= 2.8.26)
