Microsoft.Z3.x64 4.8.6 Prefix Reserved

There is a newer version of this package available.
See the version list below for details.
Install-Package Microsoft.Z3.x64 -Version 4.8.6
dotnet add package Microsoft.Z3.x64 --version 4.8.6
<PackageReference Include="Microsoft.Z3.x64" Version="4.8.6" />
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.6
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Z3.x64, 4.8.6"
#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.6

// Install Microsoft.Z3.x64 as a Cake Tool
#tool nuget:?package=Microsoft.Z3.x64&version=4.8.6
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

This package has no dependencies.

NuGet packages (2)

Showing the top 2 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

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
4.8.10 4,211 1/20/2021
4.8.9 3,262 9/11/2020
4.8.8 1,639 5/8/2020
4.8.7 8,541 11/19/2019
4.8.6 2,676 9/21/2019
4.8.5 1,854 6/4/2019
4.8.4 27,442 3/14/2019
4.8.1 8,037 11/16/2018