Total Downloads
702.1K
702,137
Published
Nov 29, 2023
Latest stable version
Install
.NET CLI
dotnet add package Boogie.ExecutionEngine --version 3.0.8
Package Manager Console
Install-Package Boogie.ExecutionEngine -Version 3.0.8
PackageReference
<PackageReference Include="Boogie.ExecutionEngine" Version="3.0.8" />
Frameworks
Dependencies
[3.0.8, )
Boogie.BaseTypes
[3.0.8, )
net6.0
Boogie.CodeContractsExtender
[3.0.8, )
net6.0
Boogie.Concurrency
[3.0.8, )
net6.0
Boogie.Core
[3.0.8, )
net6.0
Boogie.Graph
[3.0.8, )
net6.0
Boogie.Houdini
[3.0.8, )
net6.0
Boogie.Model
[3.0.8, )
net6.0
Boogie.Provers.SMTLib
[3.0.8, )
net6.0
Boogie.VCGeneration
[3.0.8, )
net6.0
System.Reactive
[4.4.1, )
net6.0
System.Runtime.Caching
[6.0.0, )
net6.0
Adoption guide
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.
Compatibility metadata lists 1 target framework; confirm the exact target used by your application.
How to read this guidance
Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.
Useful next steps
Move from package metadata to a concrete selection or review workflow.