BDDSharp is a C# library for manipulating roBDDs (Reduced Ordered Binary Decision Diagrams).
Primary LanguageC#MIT LicenseMIT