Microsoft.Z3
4.8.16
Prefix Reserved
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.
Linux Dependencies:
libgomp.so.1 installed
| 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. |
-
.NETStandard 2.0
- No dependencies.
NuGet packages (5)
Showing the top 5 NuGet packages that depend on Microsoft.Z3:
| 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. |
|
|
Symbolica.Computation
Package Description |
|
|
ZenLib
A library that simplifies building verification tools in .NET |
|
|
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 (3)
Showing the top 3 popular GitHub repositories that depend on Microsoft.Z3:
| Repository | Stars |
|---|---|
|
HJLebbink/asm-dude
Visual Studio extension for assembly syntax highlighting and code completion in assembly files and the disassembly window
|
|
|
kwsch/SysBot.NET
sys-botbase client for remote control automation of Nintendo Switch consoles.
|
|
|
thufv/CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
|
| Version | Downloads | Last updated |
|---|---|---|
| 4.12.2 | 11,472 | 5/12/2023 |
| 4.12.0 | 3,201 | 1/14/2023 |
| 4.11.2 | 26,961 | 9/4/2022 |
| 4.11.0 | 2,712 | 8/19/2022 |
| 4.10.2 | 870 | 7/30/2022 |
| 4.10.1 | 1,995 | 7/22/2022 |
| 4.9.1 | 837 | 7/12/2022 |
| 4.8.17 | 35,914 | 5/11/2022 |
| 4.8.16 | 691 | 4/24/2022 |
| 4.8.14 | 31,622 | 12/23/2021 |
| 4.8.13 | 430 | 11/18/2021 |
| 4.8.12 | 2,976 | 7/13/2021 |
| 4.8.11 | 2,511 | 7/11/2021 |