Microsoft.Z3.x64 4.8.8

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies:
   libgomp.so.1 installed

Install-Package Microsoft.Z3.x64 -Version 4.8.8
dotnet add package Microsoft.Z3.x64 --version 4.8.8
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.8" />
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.8
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

  • .NETStandard 1.4

    • No dependencies.

GitHub repositories (1+)

Showing the top 1 GitHub repositories that depend on Microsoft.Z3.x64:

Repository Stars
kwsch/SysBot.NET
sys-botbase client for remote control automation of Nintendo Switch consoles.

Version History

Version Downloads Last updated
4.8.8 543 5/8/2020
4.8.7 2,081 11/19/2019
4.8.6 1,735 9/21/2019
4.8.5 845 6/4/2019
4.8.4 15,157 3/14/2019
4.8.1 7,359 11/16/2018