{ "domain": "computer-science", "topics": [ "constraint-programming", "combinatorics" ], "type": "construction", "also": [ "proof" ], "source": { "key": "csplib", "name": "CSPLib", "url": "https://www.csplib.org/Problems/prob010/", "id": "prob010", "curator": "CSPLib editors", "poser": "Warwick Harvey", "status": "open", "as_of": "2026-10-20", "catalog": "0521c19bbd38" } }