zen_z3_linux

Z3 Prover for linux.

Version:	4.5.1.7-v1f29cebd4df
Author(s):	Microsoft
Last Update:	Tuesday, December 19, 2017
.NET Fiddle:	Create the first Fiddle
NuGet Url:	https://www.nuget.org/packages/zen_z3_linux

NuGet .NET CLI Paket CLIR Direct Download

Install-Package zen_z3_linux

dotnet add package zen_z3_linux

paket add zen_z3_linux


                                zen_z3_linux Download (Unzip the "nupkg" after downloading)

zen_z3_linux NuGet Package