boogie-org
NuGet publisher profile
Packages
18
Total Downloads
11.2M
11,184,492
Packages (18)
Boogie
An SMT-based program verifier.
1.0M
downloads
Boogie.CodeContractsExtender
Package Description
883.0K
downloads
Boogie.BaseTypes
Package Description
803.7K
downloads
Boogie.Graph
Package Description
803.2K
downloads
Boogie.Core
Package Description
794.3K
downloads
Boogie.Model
Package Description
761.8K
downloads
Boogie.VCExpr
Package Description
757.7K
downloads
Boogie.VCGeneration
Package Description
744.2K
downloads
Boogie.Provers.SMTLib
Package Description
732.0K
downloads
Boogie.Concurrency
Package Description
719.3K
downloads
Boogie.Houdini
Package Description
713.8K
downloads
Boogie.ExecutionEngine
Contains the API for Boogie
702.0K
downloads
Boogie.AbstractInterpretation
Package Description
604.2K
downloads
CocoR
The compiler generator Coco/R
486.8K
downloads
Boogie.Predication
Package Description
239.4K
downloads
Boogie.Provers.LeanAuto
Package Description
227.2K
downloads
Boogie.AbsInt
Package Description
108.2K
downloads
Corral
A solver for the reachability modulo theories problem.
56.9K
downloads