Closed fontanf closed 2 years ago
Hello,
Yes, the 2 assumptions are correct. The second assumption implies the first one.
The meaning of constraint S6 is : for any stack s, the number of items in stack s cannot exceed the smallest "max stackability" ISM associated with the items of stack s.
Thanks, that's clear now
Constraint (S6) is not clear to me:
Does that mean that: