{ "domain": "computer-science", "topics": [ "constraint-programming", "integer-programming" ], "type": "construction", "also": [ "proof" ], "source": { "key": "csplib", "name": "CSPLib", "url": "https://www.csplib.org/Problems/prob110/", "id": "prob110", "curator": "CSPLib editors", "poser": "Özgür Akgün", "status": "open", "as_of": "2026-10-20", "catalog": "0521c19bbd38" }, "review": true, "approval": "first-time" }