Email Record: Solving discrete-variable multiple-constraint non-linear programs :