Contains Microsoft.Z3.dll version 4.5.0 for platform x86, the helper file libz3.dll and the tool z3.exe.
Info
| Version: | 4.5.0.1 |
| Author(s): | Microsoft Corporation |
| Last Update: | Wednesday, December 7, 2016 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/Z3Prover/z3 |
| NuGet Url: | https://www.nuget.org/packages/z3x86win |
Install
Install-Package z3x86win
dotnet add package z3x86win
paket add z3x86win
z3x86win Download (Unzip the "nupkg" after downloading)
