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