Invalid image

z3x64win



Contains Microsoft.Z3.dll version 4.5.0 for platform x64, 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:
Project Url: https://github.com/Z3Prover/z3
NuGet Url: https://www.nuget.org/packages/z3x64win


Install
Install-Package z3x64win
dotnet add package Z.EntityFramework.Plus.EF6
paket add z3x64win
z3x64win Download (Unzip the "nupkg" after downloading)








STATS

must-have-score

1.1


avg-downloads-per-day

7


days-since-last-release

371