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). You can find information about UVL and feature model examples here.
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.