z3x64win icon



Contains Microsoft.Z3.dll version 4.5.0 for platform x64, the helper file libz3.dll and the tool z3.exe.

Info
- Last update: 12/7/2016
- Version: 4.5.0.1
- Project documentation: https://github.com/Z3Prover/z3
- Read more info on NuGet.org...

Dependencies
This package has 0 dependencies.
0 packages depend on this package.

Install
Install-Package z3x64win
dotnet add package z3x64win
paket add z3x64win
z3x64win Download (Unzip the "nupkg" after downloading)

Tags






STATS

must-have-score

1.1


avg-downloads-per-day

6


days-since-last-release

317