Symbolica.Z3 0.2.0-pullrequest0005-0004-9815ede

This is a prerelease version of Symbolica.Z3.
Install-Package Symbolica.Z3 -Version 0.2.0-pullrequest0005-0004-9815ede
dotnet add package Symbolica.Z3 --version 0.2.0-pullrequest0005-0004-9815ede
<PackageReference Include="Symbolica.Z3" Version="0.2.0-pullrequest0005-0004-9815ede" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Symbolica.Z3 --version 0.2.0-pullrequest0005-0004-9815ede
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Symbolica.Z3, 0.2.0-pullrequest0005-0004-9815ede"
#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.2.0-pullrequest0005-0004-9815ede&prerelease

// Install Symbolica.Z3 as a Cake Tool
#tool nuget:?package=Symbolica.Z3&version=0.2.0-pullrequest0005-0004-9815ede&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Z3 built from an arbitrary commit and packaged for dotnet.

  • .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.