Package Description.
Info
| Version: | 3.5.7 |
| Author(s): | Boogie |
| Last Update: | Sunday, July 26, 2026 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Boogie.Houdini |
Install
Install-Package Boogie.Houdini
dotnet add package Boogie.Houdini
paket add Boogie.Houdini
Boogie.Houdini Download (Unzip the "nupkg" after downloading)
Dependencies
- Boogie.BaseTypes(>= 2.8.26)
- Boogie.CodeContractsExtender(>= 2.8.26)
- Boogie.Core(>= 2.8.26)
- Boogie.Graph(>= 2.8.26)
- Boogie.Model(>= 2.8.26)
- Boogie.Predication(>= 2.8.26)
- Boogie.Provers.SMTLib(>= 2.8.26)
- Boogie.VCExpr(>= 2.8.26)
- Boogie.VCGeneration(>= 2.8.26)
