Microsoft.Z3.x64

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies:
libgomp.so.1 installed.

Version:	4.8.10
Author(s):	Microsoft
Last Update:	Wednesday, January 20, 2021
.NET Fiddle:	Create the first Fiddle
Project Url:	https://github.com/Z3Prover/z3
NuGet Url:	https://www.nuget.org/packages/Microsoft.Z3.x64

NuGet .NET CLI Paket CLIR Direct Download

Install-Package Microsoft.Z3.x64

dotnet add package Microsoft.Z3.x64

paket add Microsoft.Z3.x64


                                Microsoft.Z3.x64 Download (Unzip the "nupkg" after downloading)

3 packages depend on this package.

Microsoft.Z3.x64 NuGet Package