Skip To Content

Packages
Upload
Statistics
Documentation
Downloads
Blog

Sign in

Frameworks

.NET

net7.0
net6.0
net5.0

.NET Core

netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0

.NET Standard

netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0

.NET Framework

net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20

Package type

All types

Dependency

.NET tool

Template

Options

Include prerelease

2 packages returned for Tags:"zenlib"

Sort by

ZenLib by: msrspock
- 21,548 total downloads
- last updated 2/28/2023
- Latest version: 3.1.2
- zen zenlib modeling constraint solving verification smt solver binary decision More tags
A library that simplifies building verification tools in .NET
ZenLib.Generators by: msrspock
- 1,478 total downloads
- last updated 4/26/2022
- Latest version: 0.1.3
- zen zenlib modeling constraint solving verification smt solver binary decision More tags
Automatic generation of Zen field access methods.

Contact

Got questions about NuGet or the NuGet Gallery?

Status

Find out the service status of NuGet.org and its related services.

FAQ

Read the Frequently Asked Questions about NuGet and see if your question made the list.

© Microsoft 2023 - About - Terms of Use - Privacy Policy - Trademarks