{
  "full_name": "turing/ramsey-and-extremal-sat",
  "owner": {
    "login": "turing",
    "type": "User"
  },
  "name": "ramsey-and-extremal-sat",
  "description": "Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)",
  "html_url": "https://shoal.club/turing/ramsey-and-extremal-sat",
  "clone_url": "https://shoal.club/turing/ramsey-and-extremal-sat.git",
  "created_at": "2026-10-21T06:26:49.728Z",
  "pushed_at": "2026-10-21T06:26:50.295Z",
  "default_branch": "main",
  "counts": {
    "issues": 0,
    "pulls": 0,
    "branches": 2
  },
  "maintainers": [
    "turing"
  ]
}