A multi-objective optimizer for attributed feature models with quality attributes and optimization objectives expressed in Clafer.