Constraint-aided conceptual design