 |
VOOZH | about |
|
VOOZH | about |
dotnet add package Microsoft.Z3 --version 4.12.2
NuGet\Install-Package Microsoft.Z3 -Version 4.12.2
<PackageReference Include="Microsoft.Z3" Version="4.12.2" />
<PackageVersion Include="Microsoft.Z3" Version="4.12.2" />Directory.Packages.props
<PackageReference Include="Microsoft.Z3" />Project file
paket add Microsoft.Z3 --version 4.12.2
#r "nuget: Microsoft.Z3, 4.12.2"
#:package Microsoft.Z3@4.12.2
#addin nuget:?package=Microsoft.Z3&version=4.12.2Install as a Cake Addin
#tool nuget:?package=Microsoft.Z3&version=4.12.2Install as a Cake Tool
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 net5.0 was computed. net5.0-windows net5.0-windows was computed. net6.0 net6.0 was computed. net6.0-android net6.0-android was computed. net6.0-ios net6.0-ios was computed. net6.0-maccatalyst net6.0-maccatalyst was computed. net6.0-macos net6.0-macos was computed. net6.0-tvos net6.0-tvos was computed. net6.0-windows net6.0-windows was computed. net7.0 net7.0 was computed. net7.0-android net7.0-android was computed. net7.0-ios net7.0-ios was computed. net7.0-maccatalyst net7.0-maccatalyst was computed. net7.0-macos net7.0-macos was computed. net7.0-tvos net7.0-tvos was computed. net7.0-windows net7.0-windows was computed. net8.0 net8.0 was computed. net8.0-android net8.0-android was computed. net8.0-browser net8.0-browser was computed. net8.0-ios net8.0-ios was computed. net8.0-maccatalyst net8.0-maccatalyst was computed. net8.0-macos net8.0-macos was computed. net8.0-tvos net8.0-tvos was computed. net8.0-windows net8.0-windows was computed. net9.0 net9.0 was computed. net9.0-android net9.0-android was computed. net9.0-browser net9.0-browser was computed. net9.0-ios net9.0-ios was computed. net9.0-maccatalyst net9.0-maccatalyst was computed. net9.0-macos net9.0-macos was computed. net9.0-tvos net9.0-tvos was computed. net9.0-windows net9.0-windows was computed. net10.0 net10.0 was computed. net10.0-android net10.0-android was computed. net10.0-browser net10.0-browser was computed. net10.0-ios net10.0-ios was computed. net10.0-maccatalyst net10.0-maccatalyst was computed. net10.0-macos net10.0-macos was computed. net10.0-tvos net10.0-tvos was computed. net10.0-windows net10.0-windows was computed. |
| .NET Core | netcoreapp2.0 netcoreapp2.0 was computed. netcoreapp2.1 netcoreapp2.1 was computed. netcoreapp2.2 netcoreapp2.2 was computed. netcoreapp3.0 netcoreapp3.0 was computed. netcoreapp3.1 netcoreapp3.1 was computed. |
| .NET Standard | netstandard2.0 netstandard2.0 is compatible. netstandard2.1 netstandard2.1 was computed. |
| .NET Framework | net461 net461 was computed. net462 net462 was computed. net463 net463 was computed. net47 net47 was computed. net471 net471 was computed. net472 net472 was computed. net48 net48 was computed. net481 net481 was computed. |
| MonoAndroid | monoandroid monoandroid was computed. |
| MonoMac | monomac monomac was computed. |
| MonoTouch | monotouch monotouch was computed. |
| Tizen | tizen40 tizen40 was computed. tizen60 tizen60 was computed. |
| Xamarin.iOS | xamarinios xamarinios was computed. |
| Xamarin.Mac | xamarinmac xamarinmac was computed. |
| Xamarin.TVOS | xamarintvos xamarintvos was computed. |
| Xamarin.WatchOS | xamarinwatchos xamarinwatchos was computed. |
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 |
|
|
Z3.Linq
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet. |
|
|
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 |
Showing the top 5 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)
|
|
|
kyoyama-kazusa/Sudoku
A sudoku solver using brute forces and logical techniques.
|
|
|
microsoft/Zen
Zen is a constraint solving library for .NET
|
|
|
Z3Prover/FirewallChecker
A self-contained firewall checker
|
| Version | Downloads | Last Updated |
|---|---|---|
| 4.12.2 | 98,861 | 5/12/2023 |
| 4.12.0 | 4,560 | 1/14/2023 |
| 4.11.2 | 81,280 | 9/4/2022 |
| 4.11.0 | 10,736 | 8/19/2022 |
| 4.10.2 | 1,430 | 7/30/2022 |
| 4.10.1 | 2,696 | 7/22/2022 |
| 4.9.1 | 1,388 | 7/12/2022 |
| 4.8.17 | 47,900 | 5/11/2022 |
| 4.8.16 | 1,128 | 4/24/2022 |
| 4.8.14 | 38,439 | 12/23/2021 |
| 4.8.13 | 811 | 11/18/2021 |
| 4.8.12 | 4,229 | 7/13/2021 |
| 4.8.11 | 4,672 | 7/11/2021 |