Info
Version: | 4.12.2 |
Author(s): | Microsoft |
Last Update: | Friday, May 12, 2023 |
.NET Fiddle: | Create the first Fiddle |
Project Url: | https://github.com/Z3Prover/z3 |
NuGet Url: | https://www.nuget.org/packages/Microsoft.Z3.x86 |
Install
Install-Package Microsoft.Z3.x86
dotnet add package Microsoft.Z3.x86
paket add Microsoft.Z3.x86
Microsoft.Z3.x86 Download (Unzip the "nupkg" after downloading)
Dependencies
Tags
Linux Dependencies:
libgomp.so.1 installed.