z3 prover (AnyCPU version)

Contains Microsoft.Z3.dll version 4.5.0 for AnyCPU platform, the helper file libz3_x86.dll, libz3_x64.dll and the tool z3.exe.

Version:	4.5.0.5
Author(s):	Microsoft Corporation
Last Update:	Thursday, July 13, 2017
.NET Fiddle:	Create the first Fiddle
Project Url:	https://github.com/Z3Prover/z3
NuGet Url:	https://www.nuget.org/packages/z3win_AnyCPU

NuGet .NET CLI Paket CLIR Direct Download

Install-Package z3win_AnyCPU

dotnet add package z3win_AnyCPU

paket add z3win_AnyCPU


                                z3win_AnyCPU Download (Unzip the "nupkg" after downloading)

z3 prover (AnyCPU version) NuGet Package