Write a section about solving large problems using lazy and LNS

[d-krupke]

Some problems are too large to be solved with CP-SAT directly. Write about techniques on solving those. Maybe do an example with coloring.

• Iteratively add constraints and variables lazily, only when they become important.
• Partitioning the problem and using Large Neighborhood Search.

[d-krupke]

Two students of mine created a nice illustration/example that will be coming soonish to this primer.

[d-krupke]

The "lazy"-part is partially addressed by the AddCircuit-experiment.

[d-krupke]

The most important part is done. Some further improvements will come with the time.