Microsoft.Z3.x86

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies:
libgomp.so.1 installed.

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

NuGet .NET CLI Paket CLIR Direct Download

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)

Microsoft.Z3.x86 NuGet Package