Contains the API for Boogie.
Info
| Version: | 3.5.1 |
| Author(s): | Boogie |
| Last Update: | Wednesday, March 12, 2025 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Boogie.ExecutionEngine |
Install
Install-Package Boogie.ExecutionEngine
dotnet add package Boogie.ExecutionEngine
paket add Boogie.ExecutionEngine
Boogie.ExecutionEngine Download (Unzip the "nupkg" after downloading)
Dependencies
- Boogie.AbsInt(>= 2.8.26)
- Boogie.BaseTypes(>= 2.8.26)
- Boogie.CodeContractsExtender(>= 2.8.26)
- Boogie.Concurrency(>= 2.8.26)
- Boogie.Core(>= 2.8.26)
- Boogie.Graph(>= 2.8.26)
- Boogie.Houdini(>= 2.8.26)
- Boogie.Model(>= 2.8.26)
- Boogie.Predication(>= 2.8.26)
- Boogie.VCGeneration(>= 2.8.26)
- System.Runtime.Caching(>= 4.5.0)
