Validity and search space #12
Description
Since many of feature models are valid in SXFM (at least one solution that does not violate any constraints), should we lower the search space--only searching the valid solution?
It is not easy to find a balance between constraint maintenance and other objectives.
[inspired by the blending and arbitration in CSC584]