Boogie.CodeContractsExtender

Package Description.

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.CodeContractsExtender

NuGet .NET CLI Paket CLIR Direct Download

Install-Package Boogie.CodeContractsExtender

dotnet add package Boogie.CodeContractsExtender

paket add Boogie.CodeContractsExtender


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

12 packages depend on this package.

Boogie.CodeContractsExtender NuGet Package