Z3 Prover for linux

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


This package has no dependencies.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated 571 11/12/2017 196 11/12/2017 209 11/12/2017 225 11/12/2017