Package Description.
Info
| Version: | 3.4.2 |
| Author(s): | Boogie |
| Last Update: | Thursday, November 14, 2024 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/Boogie.Provers.SMTLib |
Install
Install-Package Boogie.Provers.SMTLib
dotnet add package Boogie.Provers.SMTLib
paket add Boogie.Provers.SMTLib
Boogie.Provers.SMTLib 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.VCExpr(>= 2.8.26)
- Boogie.VCGeneration(>= 2.8.26)
