msrspock

ZenLib
by: msrspock
- .NET Standard 2.1
- 29,029 total downloads
- last updated 10/23/2023
- Latest version: 3.1.6
- zen zenlib modeling constraint solving verification smt solver binary decision More tags
A library that simplifies building verification tools in .NET
DecisionDiagrams
by: msrspock
- .NET Standard 2.0
- 23,097 total downloads
- last updated 8/30/2023
- Latest version: 1.3.0
- 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.Generators
by: msrspock
- 2,304 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.