UCLouvain.BDDSharp (nuget): BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).
Keywords: bdd|binary|decision|diagram