zen_z3_osx 4.5.1.7-v1f29cebd4df6

Z3 Prover for linux

This is a prerelease version of zen_z3_osx.
Install-Package zen_z3_osx -Version 4.5.1.7-v1f29cebd4df6
dotnet add package zen_z3_osx --version 4.5.1.7-v1f29cebd4df6
<PackageReference Include="zen_z3_osx" Version="4.5.1.7-v1f29cebd4df6" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add zen_z3_osx --version 4.5.1.7-v1f29cebd4df6
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: zen_z3_osx, 4.5.1.7-v1f29cebd4df6"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install zen_z3_osx as a Cake Addin
#addin nuget:?package=zen_z3_osx&version=4.5.1.7-v1f29cebd4df6&prerelease

// Install zen_z3_osx as a Cake Tool
#tool nuget:?package=zen_z3_osx&version=4.5.1.7-v1f29cebd4df6&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Dependencies

This package has no dependencies.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
4.5.1.7-v1f29cebd4df6 846 11/12/2017
4.5.1.6-v1f29cebd4df6 465 11/12/2017
4.5.1.5-v1f29cebd4df6 485 11/12/2017
4.5.1.4-v1f29cebd4df6 491 11/12/2017