Microsoft.Z3 4.8.14 Prefix Reserved

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

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

  • .NETStandard 1.4

    • No dependencies.

NuGet packages (3)

Showing the top 3 NuGet packages that depend on Microsoft.Z3:

Package Downloads
Symbolica.Computation

Package Description

PoE.Core

PoE

Z3.Linq

LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.8.14 105 12/23/2021
4.8.13 164 11/18/2021
4.8.12 770 7/13/2021
4.8.11 340 7/11/2021