Paste a JSON-shaped CpModelProto, optionally edit SAT parameters, then validate or solve it in the browser.
CpModelProto