Symbolica.Z3 0.1.0

.NET Standard 1.4
There is a newer prerelease version of this package available.
See the version list below for details. 
Install-Package Symbolica.Z3 -Version 0.1.0
dotnet add package Symbolica.Z3 --version 0.1.0
<PackageReference Include="Symbolica.Z3" Version="0.1.0" />
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
The NuGet Team does not provide support for this client. Please contact its maintainers for support. 
#r "nuget: Symbolica.Z3, 0.1.0"
#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

// Install Symbolica.Z3 as a Cake Tool
#tool nuget:?package=Symbolica.Z3&version=0.1.0
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.

Product Versions
.NET net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows
.NET Core netcoreapp1.0 netcoreapp1.1 netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1
.NET Standard netstandard1.4 netstandard1.5 netstandard1.6 netstandard2.0 netstandard2.1
.NET Framework net461 net462 net463 net47 net471 net472 net48
MonoAndroid monoandroid
MonoMac monomac
MonoTouch monotouch
Tizen tizen30 tizen40 tizen60
Universal Windows Platform uap uap10.0
Xamarin.iOS xamarinios
Xamarin.Mac xamarinmac
Xamarin.TVOS xamarintvos
Xamarin.WatchOS xamarinwatchos
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.

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