Top 20 NuGet Packages depending on Boogie.Model

Total dependencies: 4

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