zen_z3_linux 4.5.1.7-v1f29cebd4df

Z3 Prover for linux

This is a prerelease version of zen_z3_linux.
Install-Package zen_z3_linux -Version 4.5.1.7-v1f29cebd4df
dotnet add package zen_z3_linux --version 4.5.1.7-v1f29cebd4df
<PackageReference Include="zen_z3_linux" Version="4.5.1.7-v1f29cebd4df" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add zen_z3_linux --version 4.5.1.7-v1f29cebd4df
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Dependencies

This package has no dependencies.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
4.5.1.7-v1f29cebd4df 571 12/19/2017
4.5.1.6-v1f29cebd4df6 278 11/12/2017
4.5.1.5-v1f29cebd4df6 220 11/12/2017