ZenLib 1.0.3
There is a newer version of this package available.
See the version list below for details.
See the version list below for details.
dotnet add package ZenLib --version 1.0.3
NuGet\Install-Package ZenLib -Version 1.0.3
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="ZenLib" Version="1.0.3" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
<PackageVersion Include="ZenLib" Version="1.0.3" />
<PackageReference Include="ZenLib" />
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package.
paket add ZenLib --version 1.0.3
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: ZenLib, 1.0.3"
#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.
#:package ZenLib@1.0.3
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package.
#addin nuget:?package=ZenLib&version=1.0.3
#tool nuget:?package=ZenLib&version=1.0.3
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
A library that simplifies building verification tools in .NET
| 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. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. net10.0 was computed. net10.0-android was computed. net10.0-browser was computed. net10.0-ios was computed. net10.0-maccatalyst was computed. net10.0-macos was computed. net10.0-tvos was computed. net10.0-windows was computed. |
| .NET Core | netcoreapp2.0 was computed. netcoreapp2.1 was computed. netcoreapp2.2 was computed. netcoreapp3.0 was computed. netcoreapp3.1 was computed. |
| .NET Standard | netstandard2.0 is compatible. 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 | tizen40 was computed. tizen60 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 2.0
- DecisionDiagrams (>= 1.0.2)
- Microsoft.CSharp (>= 4.7.0)
- Microsoft.Z3.x64 (>= 4.8.7)
- System.Collections.Immutable (>= 1.7.0)
- System.Dynamic.Runtime (>= 4.3.0)
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 |
|---|---|---|
| 3.1.6 | 811 | 10/23/2023 |
| 3.1.5 | 299 | 8/30/2023 |
| 3.1.4 | 317 | 8/28/2023 |
| 3.1.3 | 370 | 7/14/2023 |
| 3.1.2 | 478 | 2/28/2023 |
| 3.1.1 | 686 | 9/22/2022 |
| 3.1.0 | 577 | 9/8/2022 |
| 3.0.0 | 525 | 8/25/2022 |
| 2.3.0 | 614 | 8/12/2022 |
| 2.2.9 | 528 | 8/12/2022 |
| 2.2.8 | 600 | 8/11/2022 |
| 2.2.7 | 575 | 8/8/2022 |
| 2.2.6 | 551 | 8/4/2022 |
| 2.2.5 | 602 | 7/27/2022 |
| 2.2.4 | 944 | 5/31/2022 |
| 2.2.3 | 576 | 5/20/2022 |
| 2.2.2 | 669 | 4/14/2022 |
| 2.2.1 | 596 | 4/8/2022 |
| 2.2.0 | 612 | 4/7/2022 |
| 2.1.9 | 619 | 3/24/2022 |
| 2.1.8 | 609 | 3/10/2022 |
| 2.1.7 | 618 | 3/5/2022 |
| 2.1.6 | 589 | 3/3/2022 |
| 2.1.5 | 604 | 3/2/2022 |
| 2.1.4 | 619 | 2/23/2022 |
| 2.1.3 | 591 | 2/18/2022 |
| 2.1.2 | 601 | 2/14/2022 |
| 2.1.1 | 595 | 2/14/2022 |
| 2.1.0 | 620 | 2/11/2022 |
| 2.0.0 | 620 | 2/9/2022 |
| 1.3.2 | 653 | 1/30/2022 |
| 1.3.1 | 501 | 1/5/2022 |
| 1.3.0 | 540 | 11/9/2021 |
| 1.2.9 | 525 | 10/28/2021 |
| 1.2.8 | 554 | 10/19/2021 |
| 1.2.7 | 479 | 10/18/2021 |
| 1.2.6 | 639 | 10/17/2021 |
| 1.2.5 | 515 | 10/16/2021 |
| 1.2.4 | 520 | 10/15/2021 |
| 1.2.3 | 530 | 10/11/2021 |
| 1.2.2 | 527 | 10/8/2021 |
| 1.2.1 | 477 | 10/6/2021 |
| 1.2.0 | 474 | 10/5/2021 |
| 1.1.9 | 519 | 8/31/2021 |
| 1.1.8 | 495 | 7/21/2021 |
| 1.1.7 | 502 | 7/15/2021 |
| 1.1.6 | 525 | 6/3/2021 |
| 1.1.5 | 785 | 1/5/2021 |
| 1.1.4 | 665 | 12/16/2020 |
| 1.1.3 | 568 | 10/13/2020 |
| 1.1.2 | 628 | 10/7/2020 |
| 1.1.1 | 653 | 10/2/2020 |
| 1.1.0 | 625 | 9/29/2020 |
| 1.0.9 | 600 | 9/25/2020 |
| 1.0.8 | 651 | 9/23/2020 |
| 1.0.7 | 680 | 9/17/2020 |
| 1.0.6 | 721 | 9/17/2020 |
| 1.0.5 | 1,076 | 7/15/2020 |
| 1.0.4 | 718 | 6/14/2020 |
| 1.0.3 | 730 | 6/6/2020 |
| 1.0.2 | 672 | 5/6/2020 |
| 1.0.1 | 659 | 5/6/2020 |
| 1.0.0 | 694 | 5/6/2020 |