Stronger propagation for linear inequality #3

Open

Open

Stronger propagation for linear inequality#3

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.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests