de.fosd.typechef.featureexpr.sat
CNFHelper provides several auxiliary functions to determine whether an expression is in normal form and to access parts of that normal form
CNFHelper provides several auxiliary functions to determine whether an expression is in normal form and to access parts of that normal form