Symbolica.Z3 0.1.0-pullrequest0001-0008-d724867

Z3 built from an arbitrary commit and packaged for dotnet.

This is a prerelease version of Symbolica.Z3.
There is a newer version of this package available.
See the version list below for details.
Install-Package Symbolica.Z3 -Version 0.1.0-pullrequest0001-0008-d724867
dotnet add package Symbolica.Z3 --version 0.1.0-pullrequest0001-0008-d724867
<PackageReference Include="Symbolica.Z3" Version="0.1.0-pullrequest0001-0008-d724867" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Symbolica.Z3 --version 0.1.0-pullrequest0001-0008-d724867
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Symbolica.Z3, 0.1.0-pullrequest0001-0008-d724867"
#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 Symbolica.Z3 as a Cake Addin
#addin nuget:?package=Symbolica.Z3&version=0.1.0-pullrequest0001-0008-d724867&prerelease

// Install Symbolica.Z3 as a Cake Tool
#tool nuget:?package=Symbolica.Z3&version=0.1.0-pullrequest0001-0008-d724867&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

  • .NETStandard 1.4

    • 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