Microsoft.Z3
4.11.2
Prefix Reserved
See the version list below for details.
dotnet add package Microsoft.Z3 --version 4.11.2
NuGet\Install-Package Microsoft.Z3 -Version 4.11.2
<PackageReference Include="Microsoft.Z3" Version="4.11.2" />
<PackageVersion Include="Microsoft.Z3" Version="4.11.2" />
<PackageReference Include="Microsoft.Z3" />
paket add Microsoft.Z3 --version 4.11.2
#r "nuget: Microsoft.Z3, 4.11.2"
#addin nuget:?package=Microsoft.Z3&version=4.11.2
#tool nuget:?package=Microsoft.Z3&version=4.11.2
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. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.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 (6)
Showing the top 5 NuGet packages that depend on Microsoft.Z3:
Package | Downloads |
---|---|
Symbolica.Computation
Package Description |
|
ZenLib
A library that simplifies building verification tools in .NET |
|
Averest
Averest is a framework for the model-based design of reactive systems that supports the specification, verification, and implementation. It contains a simulator, support for formal verification with temporal logics, and various transformations for hardware and software synthesis of embedded reactive systems or pure hardware circuits. It is developed by the Embedded Systems Group at the RPTU in Kaiserslautern. For more information, see http://www.averest.org, and for contacting us send an email to Klaus.Schneider@rptu.de. |
|
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 (4)
Showing the top 4 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
|
|
thufv/CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
|
|
Z3Prover/FirewallChecker
A self-contained firewall checker
|
|
microsoft/Zen
Zen is a constraint solving library for .NET
|
Version | Downloads | Last updated |
---|---|---|
4.12.2 | 59,967 | 5/12/2023 |
4.12.0 | 4,240 | 1/14/2023 |
4.11.2 | 62,454 | 9/4/2022 |
4.11.0 | 6,415 | 8/19/2022 |
4.10.2 | 1,222 | 7/30/2022 |
4.10.1 | 2,437 | 7/22/2022 |
4.9.1 | 1,162 | 7/12/2022 |
4.8.17 | 46,657 | 5/11/2022 |
4.8.16 | 915 | 4/24/2022 |
4.8.14 | 37,843 | 12/23/2021 |
4.8.13 | 603 | 11/18/2021 |
4.8.12 | 3,671 | 7/13/2021 |
4.8.11 | 3,849 | 7/11/2021 |