NuGet Gallery | msrspock

ZenLib by: msrspock

21,478 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

DecisionDiagrams by: msrspock

This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.

ZenLib.Generators by: msrspock

1,476 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.