Microsoft.Z3.x64 4.8.4

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies: installed

There is a newer version of this package available.
See the version list below for details.
Install-Package Microsoft.Z3.x64 -Version 4.8.4
dotnet add package Microsoft.Z3.x64 --version 4.8.4
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.4" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Z3.x64 --version 4.8.4
The NuGet Team does not provide support for this client. Please contact its maintainers for support.


This package has no dependencies.

Version History

Version Downloads Last updated
4.8.5 92 6/4/2019
4.8.4 1,477 3/14/2019
4.8.1 3,602 11/16/2018