nuget.org : zenlib
A library that simplifies building verification tools in .NET
Registry
-
Source
- JSON
purl: pkg:nuget/zenlib
Keywords:
zen
, zenlib
, modeling
, constraint
, solving
, verification
, smt
, solver
, binary
, decision
, diagrams
, diagram
License: MIT
Latest release: almost 2 years ago
First release: about 5 years ago
Downloads: 33,032 total
Stars: 105 on GitHub
Forks: 12 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago
Loading...
Readme
Loading...