See the version list below for details.
dotnet add package Microsoft.Z3 --version 4.8.13
NuGet\Install-Package Microsoft.Z3 -Version 4.8.13
<PackageReference Include="Microsoft.Z3" Version="4.8.13" />
paket add Microsoft.Z3 --version 4.8.13
#r "nuget: Microsoft.Z3, 4.8.13"
// Install Microsoft.Z3 as a Cake Addin #addin nuget:?package=Microsoft.Z3&version=4.8.13 // Install Microsoft.Z3 as a Cake Tool #tool nuget:?package=Microsoft.Z3&version=4.8.13
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||netcoreapp1.0 was computed. netcoreapp1.1 was computed. netcoreapp2.0 was computed. netcoreapp2.1 was computed. netcoreapp2.2 was computed. netcoreapp3.0 was computed. netcoreapp3.1 was computed.|
|.NET Standard||netstandard1.4 is compatible. netstandard1.5 was computed. netstandard1.6 was computed. netstandard2.0 was computed. 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||tizen30 was computed. tizen40 was computed. tizen60 was computed.|
|Universal Windows Platform||uap was computed. uap10.0 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.