CP-SAT WASM POC
Workers
Max seconds
Native logs
Solve
Stop
Ready
Input JSON