Microsoft.Z3.x64 4.8.9 The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. Prefix Reserved

.NET Standard 1.4
Suggested Alternatives

Microsoft.Z3

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 ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

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