CP-SAT WASM POC
Solve
Stop
Ready