Top 20 NuGet Packages depending on Boogie.VCGeneration

Total dependencies: 4

Invalid image

Boogie.ExecutionEngine

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

Boogie.Houdini

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

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