For a tree of features with cross tree constraints, these solvers can detect various anomalies. Feature Models are given in the extended Universal Variablity Language (UVL).
A feature model is void if there is no valid selection of features.
A feature is dead if the feature cannot be included in any valid feature selection.