Microsoft.Z3.x64
4.8.9
Prefix Reserved
.NET Standard 1.4
Suggested Alternatives
The owner has unlisted this package.
This could mean that the package is deprecated, has security vulnerabilities or shouldn't be used anymore.
Install-Package Microsoft.Z3.x64 -Version 4.8.9
dotnet add package Microsoft.Z3.x64 --version 4.8.9
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.9" />
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.9
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Z3.x64, 4.8.9"
#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.9
// Install Microsoft.Z3.x64 as a Cake Tool
#tool nuget:?package=Microsoft.Z3.x64&version=4.8.9
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Linux Dependencies:
libgomp.so.1 installed
Product | Versions |
---|---|
.NET | net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows |
.NET Core | netcoreapp1.0 netcoreapp1.1 netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1 |
.NET Standard | netstandard1.4 netstandard1.5 netstandard1.6 netstandard2.0 netstandard2.1 |
.NET Framework | net461 net462 net463 net47 net471 net472 net48 |
MonoAndroid | monoandroid |
MonoMac | monomac |
MonoTouch | monotouch |
Tizen | tizen30 tizen40 tizen60 |
Universal Windows Platform | uap uap10.0 |
Xamarin.iOS | xamarinios |
Xamarin.Mac | xamarinmac |
Xamarin.TVOS | xamarintvos |
Xamarin.WatchOS | xamarinwatchos |
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.
-
.NETStandard 1.4
- No dependencies.
NuGet packages (1)
Showing the top 1 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. |
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.
|
Version | Downloads | Last updated |
---|