A library that simplifies building verification tools in .NET.
Info
| Version: | 3.1.6 |
| Author(s): | ZenLib |
| Last Update: | Monday, October 23, 2023 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/microsoft/Zen |
| NuGet Url: | https://www.nuget.org/packages/ZenLib |
Install
Install-Package ZenLib
dotnet add package ZenLib
paket add ZenLib
ZenLib Download (Unzip the "nupkg" after downloading)
Dependencies
- DecisionDiagrams(>= 1.0.5)
- Microsoft.CSharp(>= 4.7.0)
- Microsoft.Z3.x64(>= 4.8.7)
- System.Collections.Immutable(>= 1.7.0)
- System.Dynamic.Runtime(>= 4.3.0)
Tags
