clpBNR: integer division

[swi]

@ridgeworks

Constraints are always active. Once you add the constraint {A=<B/C} the upper bound of A will always be =< the lower bound of B/C .

But I was wrong when I said that A would narrow to a point; in fact, the lower bound of A is unaffected by changes in B and C .

Great, I think this solves it for me; appreciate your work and most of all you taking time to help me understand better.