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