Stronger propagation for linear inequality

triska / clpz

Constraint Logic Programming over Integers

https://www.metalevel.at/prolog/clpz

184 stars 15 forks source link

Open triska opened 8 years ago

triska commented 8 years ago

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.