See the version list below for details.
dotnet add package Microsoft.Z3 --version 4.8.16
NuGet\Install-Package Microsoft.Z3 -Version 4.8.16
<PackageReference Include="Microsoft.Z3" Version="4.8.16" />
paket add Microsoft.Z3 --version 4.8.16
#r "nuget: Microsoft.Z3, 4.8.16"
// Install Microsoft.Z3 as a Cake Addin #addin nuget:?package=Microsoft.Z3&version=4.8.16 // Install Microsoft.Z3 as a Cake Tool #tool nuget:?package=Microsoft.Z3&version=4.8.16
Z3 is a satisfiability modulo theories solver from Microsoft Research.
|Product||Versions Compatible and additional computed target framework versions.|
|.NET||net5.0 was computed. net5.0-windows was computed. net6.0 was computed. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed.|
|.NET Core||netcoreapp2.0 was computed. netcoreapp2.1 was computed. netcoreapp2.2 was computed. netcoreapp3.0 was computed. netcoreapp3.1 was computed.|
|.NET Standard||netstandard2.0 is compatible. netstandard2.1 was computed.|
|.NET Framework||net461 was computed. net462 was computed. net463 was computed. net47 was computed. net471 was computed. net472 was computed. net48 was computed. net481 was computed.|
|MonoAndroid||monoandroid was computed.|
|MonoMac||monomac was computed.|
|MonoTouch||monotouch was computed.|
|Tizen||tizen40 was computed. tizen60 was computed.|
|Xamarin.iOS||xamarinios was computed.|
|Xamarin.Mac||xamarinmac was computed.|
|Xamarin.TVOS||xamarintvos was computed.|
|Xamarin.WatchOS||xamarinwatchos was computed.|
- No dependencies.
NuGet packages (5)
Showing the top 5 NuGet packages that depend on Microsoft.Z3:
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.
A library that simplifies building verification tools in .NET
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
GitHub repositories (3)
Showing the top 3 popular GitHub repositories that depend on Microsoft.Z3:
Visual Studio extension for assembly syntax highlighting and code completion in assembly files and the disassembly window
sys-botbase client for remote control automation of Nintendo Switch consoles.