Evolver/RISKOptimizer: Preventing Duplicates in Adjustable Cells

Use helper cells with COUNTIF to count duplicates, sum them, and constrain the total to zero so adjustable integer values are always unique.