Microsoft.Z3
4.8.16
Prefix Reserved
There is a newer version of this package available.
See the version list below for details.
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
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="Microsoft.Z3" Version="4.8.16" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.Z3 --version 4.8.16
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.Z3, 4.8.16"
#r directive can be used in F# Interactive and Polyglot Notebooks. 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.16 // Install Microsoft.Z3 as a Cake Tool #tool nuget:?package=Microsoft.Z3&version=4.8.16
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
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. |
.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. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
-
.NETStandard 2.0
- No dependencies.
NuGet packages (4)
Showing the top 4 NuGet packages that depend on Microsoft.Z3:
Package | Downloads |
---|---|
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
|
|
thufv/CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
|
|
Z3Prover/FirewallChecker
A self-contained firewall checker
|
Version | Downloads | Last updated |
---|---|---|
4.12.2 | 41,232 | 5/12/2023 |
4.12.0 | 4,034 | 1/14/2023 |
4.11.2 | 48,226 | 9/4/2022 |
4.11.0 | 4,072 | 8/19/2022 |
4.10.2 | 1,158 | 7/30/2022 |
4.10.1 | 2,337 | 7/22/2022 |
4.9.1 | 1,094 | 7/12/2022 |
4.8.17 | 46,395 | 5/11/2022 |
4.8.16 | 846 | 4/24/2022 |
4.8.14 | 35,806 | 12/23/2021 |
4.8.13 | 558 | 11/18/2021 |
4.8.12 | 3,433 | 7/13/2021 |
4.8.11 | 3,429 | 7/11/2021 |