msrspock ZenLib by: msrspock 2,112 total downloads last updated 1/5/2021 Latest version: 1.1.5 zen zenlib constraint solving verification smt binary decision diagrams diagram A library that simplifies building verification tools in .NET DecisionDiagrams by: msrspock 1,881 total downloads last updated 9/25/2020 Latest version: 1.0.5 binary decision diagrams diagram bdd bdds contraint solving verification This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.
ZenLib by: msrspock 2,112 total downloads last updated 1/5/2021 Latest version: 1.1.5 zen zenlib constraint solving verification smt binary decision diagrams diagram A library that simplifies building verification tools in .NET
DecisionDiagrams by: msrspock 1,881 total downloads last updated 9/25/2020 Latest version: 1.0.5 binary decision diagrams diagram bdd bdds contraint solving verification This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.