Z3 is a satisfiability modulo theories solver from Microsoft Research.
Info
| Version: | 4.8.4 |
| Author(s): | Microsoft |
| Last Update: | Friday, January 4, 2019 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/Z3Prover/z3 |
| NuGet Url: | https://www.nuget.org/packages/Z3-20190104 |
Install
Install-Package Z3-20190104
dotnet add package Z3-20190104
paket add Z3-20190104
Z3-20190104 Download (Unzip the "nupkg" after downloading)
Dependencies
Tags
