How To Add Integer Constraint In Solver