Added the ability to exclusively solve the minimization problem.
Changed the wording of the check state statements.