Top 20 NuGet Packages depending on Boogie.CodeContractsExtender

Total dependencies: 12

Invalid image

Boogie.ExecutionEngine

Contains the API for Boogie
Score: 2.9 | 2/2/2021 | v3.4.2
Invalid image

Boogie.VCGeneration

Package Description
Score: 2.4 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Provers.SMTLib

Package Description
Score: 2.4 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Houdini

Package Description
Score: 2.4 | 2/2/2021 | v3.4.2
Invalid image

Boogie.AbsInt

Package Description
Score: 2.2 | 2/2/2021 | v2.13.1
Invalid image

Boogie.Predication

Package Description
Score: 2.2 | 2/2/2021 | v2.15.7
Invalid image

Boogie.VCExpr

Package Description
Score: 2.2 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Core

Package Description
Score: 2.2 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Concurrency

Package Description
Score: 2.2 | 2/2/2021 | v3.4.2
Invalid image

Boogie.BaseTypes

Package Description
Score: 1.9 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Model

Package Description
Score: 1.9 | 2/2/2021 | v3.4.2
Invalid image

Boogie.Graph

Package Description
Score: 1.9 | 2/2/2021 | v3.4.2