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

Run this command from the Package Manager Console:

Install-Package z3x64win
Tags




Comments


Did you write a blog post and have a URL to share about this package? Tips and tricks? Please submit your links and reviews.

Please login first. It's easy! Just use your Google or Microsoft account.