NuGet Package Microsoft.Z3.x86

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Info

Version: 4.8.1
Author(s): Microsoft
Last Update: Friday, November 16, 2018
.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)



Tags



STATS

must-have-score

avg-downloads-per-day

0

days-since-last-release

834