Microsoft.Z3.x64
4.8.10
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
Install-Package Microsoft.Z3.x64 -Version 4.8.10
dotnet add package Microsoft.Z3.x64 --version 4.8.10
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.10" />
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.10
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Z3.x64, 4.8.10"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Microsoft.Z3.x64 as a Cake Addin
#addin nuget:?package=Microsoft.Z3.x64&version=4.8.10
// Install Microsoft.Z3.x64 as a Cake Tool
#tool nuget:?package=Microsoft.Z3.x64&version=4.8.10
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Dependencies
-
.NETStandard 1.4
- No dependencies.
Used By
NuGet packages (3)
Showing the top 3 NuGet packages that depend on Microsoft.Z3.x64:
| Package | Downloads |
|---|---|
|
OPTANO.Modeling
The OPTANO Modeling library allows you to use C# as a Modeling language for mathematical optimization (mixed integer programming (MIP) and linear programming (LP)). It has a lightweight footprint and connects to several solvers.
|
|
|
ZenLib
A library that simplifies building verification tools in .NET
|
|
|
Yolol.Analysis
Package Description
|
GitHub repositories (1)
Showing the top 1 popular GitHub repositories that depend on Microsoft.Z3.x64:
| Repository | Stars |
|---|---|
|
kwsch/SysBot.NET
sys-botbase client for remote control automation of Nintendo Switch consoles.
|