Add new constraints (with possibly new variables) to a solver. NewIntegers is a list of variables that the external solver should consider as integers Unlike integers/1, the variables are not constrained to be integers in ECLiPSe. The new constraints will be taken into account the next time the solver is run: if the new_constraints option of lp_demon_setup was turned on, then the solver will be invoked after the adding of the constraints. The constraints will be removed on backtracking.
The constraints are normalised and simplified before being passed to the external solver.
Currently the variables in NewIntegers are restricted to new problem variables, i.e. variables which occur in NewNormCons which did not occur in existing constraints of the solver state.