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.
Dependencies
-
.NETStandard 1.4
- No dependencies.
GitHub Usage
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.
|
Read more about the GitHub Usage information on our documentation.
