zen_z3_osx

Z3 Prover for linux.

Version:	4.5.1.7-v1f29cebd4df6
Author(s):	Microsoft
Last Update:	Sunday, November 12, 2017
.NET Fiddle:	Create the first Fiddle
NuGet Url:	https://www.nuget.org/packages/zen_z3_osx

NuGet .NET CLI Paket CLIR Direct Download

Install-Package zen_z3_osx

dotnet add package zen_z3_osx

paket add zen_z3_osx


                                zen_z3_osx Download (Unzip the "nupkg" after downloading)

zen_z3_osx NuGet Package