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

.NET Standard 2.0
There is a newer version of this package available.
See the version list below for details.
Install-Package Microsoft.Z3.x86 -Version 4.8.15
dotnet add package Microsoft.Z3.x86 --version 4.8.15
<PackageReference Include="Microsoft.Z3.x86" Version="4.8.15" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Z3.x86 --version 4.8.15
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Z3.x86, 4.8.15"
#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.x86 as a Cake Addin
#addin nuget:?package=Microsoft.Z3.x86&version=4.8.15

// Install Microsoft.Z3.x86 as a Cake Tool
#tool nuget:?package=Microsoft.Z3.x86&version=4.8.15
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 netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1
.NET Standard netstandard2.0 netstandard2.1
.NET Framework net461 net462 net463 net47 net471 net472 net48
MonoAndroid monoandroid
MonoMac monomac
MonoTouch monotouch
Tizen tizen40 tizen60
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 2.0

    • No dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories (1)

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

Repository Stars
kwsch/SysBot.NET
sys-botbase client for remote control automation of Nintendo Switch consoles.
Version Downloads Last updated
4.8.17 115 5/5/2022
4.8.16 69 4/24/2022
4.8.15 20,814 1/9/2022