DecisionDiagrams (nuget): This library implements various variants of binary decision diagrams. It focuses on high performance, usability, and correctness.
Keywords: binary|decision|diagrams|diagram|bdd|bdds|contraint|solving|verification|binary-decision-diagrams