Using Integer Constraints
You specify an integer or binary constraint by selecting the "int" or "bin"
choice from the Relation dropdown list in the Add/Change Constraint dialog. The
Solver displays such constraints in the Constraint list box in the form
"A1..A10 = integer" or "A1..A10 = binary". A binary integer constraint is exactly
equivalent to three other constraints: One of the form "A1..A10 = integer",
another of the form "A1..A10 >= 0" and a third of the form "A1..A10 <= 1".
Be sure that you select "int" or "bin" from the Relation dropdown list. If
you select = from the dropdown list and type the word "integer" or "binary" on the right hand side, the Solver will not
recognize this as an integer constraint, and clicking on Solve will probably
result in the error message "Solver encountered an error value in a target or
constraint cell".