Before revision:  By adding additional constraints , a solver can produce the subset of preferable solutions.
After revision:  Adding additional constraints andoptmization targets to the solver generates the subset of preferable solutions.