how to feed large amount of data that might not fit in memory

[photoszzt]

Is there a way to feed data incrementally to the solver rather than reading all data at once to feed to cp-sat solver?

[lperron]

No. You need to decompose the problem yourself.

[photoszzt]

My plan is to load data chunk by chunk and feed to CP-SAT. But does CP-SAT can incrementally solve for the new data with the same model?

[lperron]

Solve is stateless