NuGet Package Microsoft.Z3.x64

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Linux Dependencies:
libgomp.so.1 installed.

Info

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


Install
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.


Tags



STATS

must-have-score

2.3

avg-downloads-per-day

45

days-since-last-release

37