Top 20 NuGet Packages depending on Boogie.BaseTypes

Total dependencies: 9

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

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