Symbolica.Z3
0.2.0-master0003
This is a prerelease version of Symbolica.Z3.
There is a newer prerelease version of this package available.
See the version list below for details.
See the version list below for details.
dotnet add package Symbolica.Z3 --version 0.2.0-master0003
NuGet\Install-Package Symbolica.Z3 -Version 0.2.0-master0003
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="Symbolica.Z3" Version="0.2.0-master0003" />
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-master0003
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Symbolica.Z3, 0.2.0-master0003"
#r directive can be used in F# Interactive and Polyglot Notebooks. 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-master0003&prerelease // Install Symbolica.Z3 as a Cake Tool #tool nuget:?package=Symbolica.Z3&version=0.2.0-master0003&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.
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET | net5.0 was computed. net5.0-windows was computed. net6.0 was computed. net6.0-android was computed. net6.0-ios was computed. net6.0-maccatalyst was computed. net6.0-macos was computed. net6.0-tvos was computed. net6.0-windows was computed. net7.0 was computed. net7.0-android was computed. net7.0-ios was computed. net7.0-maccatalyst was computed. net7.0-macos was computed. net7.0-tvos was computed. net7.0-windows was computed. net8.0 was computed. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. |
.NET Core | netcoreapp1.0 was computed. netcoreapp1.1 was computed. netcoreapp2.0 was computed. netcoreapp2.1 was computed. netcoreapp2.2 was computed. netcoreapp3.0 was computed. netcoreapp3.1 was computed. |
.NET Standard | netstandard1.4 is compatible. netstandard1.5 was computed. netstandard1.6 was computed. netstandard2.0 was computed. netstandard2.1 was computed. |
.NET Framework | net461 was computed. net462 was computed. net463 was computed. net47 was computed. net471 was computed. net472 was computed. net48 was computed. net481 was computed. |
MonoAndroid | monoandroid was computed. |
MonoMac | monomac was computed. |
MonoTouch | monotouch was computed. |
Tizen | tizen30 was computed. tizen40 was computed. tizen60 was computed. |
Universal Windows Platform | uap was computed. uap10.0 was computed. |
Xamarin.iOS | xamarinios was computed. |
Xamarin.Mac | xamarinmac was computed. |
Xamarin.TVOS | xamarintvos was computed. |
Xamarin.WatchOS | xamarinwatchos was computed. |
Compatible target framework(s)
Included target framework(s) (in package)
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.
Version | Downloads | Last updated |
---|---|---|
0.2.0-pullrequest0008-0006-... | 335 | 3/18/2022 |
0.2.0-pullrequest0007-0005-... | 365 | 3/17/2022 |
0.2.0-pullrequest0006-0006-... | 273 | 1/28/2022 |
0.2.0-pullrequest0005-0004-... | 282 | 10/6/2021 |
0.2.0-pullrequest0004-0003-... | 363 | 8/24/2021 |
0.2.0-pullrequest0003-0002-... | 286 | 8/24/2021 |
0.2.0-master0005 | 1,828 | 3/20/2022 |
0.2.0-master0004 | 281 | 3/17/2022 |
0.2.0-master0003 | 2,895 | 1/29/2022 |
0.2.0-master0002 | 5,391 | 8/24/2021 |
0.1.0 | 543 | 6/28/2021 |
0.1.0-pullrequest0002-0003-... | 313 | 6/26/2021 |
0.1.0-pullrequest0001-0013-... | 300 | 6/25/2021 |
0.1.0-pullrequest0001-0010-... | 299 | 6/25/2021 |
0.1.0-pullrequest0001-0009-... | 294 | 6/25/2021 |
0.1.0-pullrequest0001-0008-... | 367 | 6/25/2021 |
0.1.0-master0002 | 393 | 6/28/2021 |
0.1.0-master0001 | 2,288 | 6/25/2021 |