Stronger propagation for linear inequality
triska opened this issue · comments
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.
triska / clpz
Constraint Logic Programming over Integers