Boogie.Predication

Package Description.

Version:	2.15.7
Author(s):	Boogie
Last Update:	Friday, July 22, 2022
.NET Fiddle:	Create the first Fiddle
NuGet Url:	https://www.nuget.org/packages/Boogie.Predication

NuGet .NET CLI Paket CLIR Direct Download

Install-Package Boogie.Predication

dotnet add package Boogie.Predication

paket add Boogie.Predication


                                Boogie.Predication Download (Unzip the "nupkg" after downloading)

Boogie.BaseTypes(>= 2.8.26)
Boogie.CodeContractsExtender(>= 2.8.26)
Boogie.Core(>= 2.8.26)
Boogie.Graph(>= 2.8.26)
Boogie.VCGeneration(>= 2.8.26)

2 packages depend on this package.

Boogie.Predication NuGet Package