Microsoft.Z3.x64 4.8.5

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies: installed

Install-Package Microsoft.Z3.x64 -Version 4.8.5
dotnet add package Microsoft.Z3.x64 --version 4.8.5
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.5" />
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.5
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 203 6/4/2019
4.8.4 1,885 3/14/2019
4.8.1 4,370 11/16/2018