A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Symbolic Boolean manipulation with ordered binary-decision diagrams