triska/clpz

Stronger propagation for linear inequality

triska opened this issue · 0 comments

triska commented

Witness due to @jburse:

 ?- 3*X+2*Y #> 100, X in 10..20.
 X in 10..20,
101#=<3*X+2*Y,
 Y in 20..sup.

Y can be reduced to 21..sup.