NuGet Package Z3-20190104

Z3 is a satisfiability modulo theories solver from Microsoft Research.

Info

Version: 4.8.4
Author(s): Microsoft
Last Update: Friday, January 4, 2019
.NET Fiddle: Create the first Fiddle
Project Url: https://github.com/Z3Prover/z3
NuGet Url: https://www.nuget.org/packages/Z3-20190104


Install
Install-Package Z3-20190104
dotnet add package Z3-20190104
paket add Z3-20190104
Z3-20190104 Download (Unzip the "nupkg" after downloading)



Tags



STATS

must-have-score

.5

avg-downloads-per-day

0

days-since-last-release

794