Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

nuget.org "zenlib" keyword

zenlib.generators 0.1.3

Automatic generation of Zen field access methods.
4 versions - Latest release: about 2 years ago - 2.07 thousand downloads total - 76 stars on GitHub - 1 maintainer

zenlib 3.1.6

A library that simplifies building verification tools in .NET
63 versions - Latest release: 7 months ago - 26.4 thousand downloads total - 76 stars on GitHub - 1 maintainer

Related Keywords

zen 2 modeling 2 constraint 2 solving 2 verification 2 smt 2 solver 2 binary 2 decision 2 diagrams 2 diagram 2