in flatzinc, cache intervals created from start + size
in flatzinc, cache intervals created from start + size

or-tools/or-tools,google/or-tools,or-tools/or-tools,or-tools/or-tools,google/or-tools,google/or-tools,or-tools/or-tools,google/or-tools,or-tools/or-tools,or-tools/or-tools,google/or-tools,google/or-tools