{
  "id": "four-by-four",
  "title": "Four-by-four grid with two-by-two boxes",
  "input": {
    "path": "formats/sudoku/cases/four-by-four/input.txt",
    "text": "# size=4 box=2x2\n1..4\n.41.\n.14.\n4..1\n"
  },
  "params": [],
  "commands": {
    "readJson": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/four-by-four/input.txt --json",
    "readDzn": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/four-by-four/input.txt --dzn",
    "readSummary": "iris read formats/sudoku/sudoku.iris formats/sudoku/cases/four-by-four/input.txt --summary",
    "errorJson": null
  },
  "result": {
    "kind": "success",
    "json": "{\"iris\":\"0.1\",\"entries\":[{\"name\":\"n\",\"type\":\"int\",\"depth\":0,\"value\":4},{\"name\":\"box_width\",\"type\":\"int\",\"depth\":0,\"value\":2},{\"name\":\"box_height\",\"type\":\"int\",\"depth\":0,\"value\":2},{\"name\":\"cells\",\"type\":\"int\",\"depth\":2,\"value\":[[1,0,0,4],[0,4,1,0],[0,1,4,0],[4,0,0,1]]}]}\n",
    "dzn": "n = 4;\nbox_width = 2;\nbox_height = 2;\ncells = [| 1, 0, 0, 4\n  | 0, 4, 1, 0\n  | 0, 1, 4, 0\n  | 4, 0, 0, 1 |];\n",
    "summary": "formats/sudoku/cases/four-by-four/input.txt [sudoku]\n  n: int 4\n  box_width: int 2\n  box_height: int 2\n  cells: int array 4 x 4\n"
  },
  "catalog": {
    "command": "iris list formats/sudoku/sudoku.iris formats/sudoku/cases/four-by-four/input.txt",
    "text": "formats/sudoku/cases/four-by-four/input.txt: 1 instance\n",
    "dznCommand": "iris list formats/sudoku/sudoku.iris formats/sudoku/cases/four-by-four/input.txt --dzn",
    "dzn": "instances = 1;\n"
  },
  "downloads": {
    "input": "/examples/formats/sudoku/cases/four-by-four/input.txt",
    "spec": "/examples/formats/sudoku/sudoku.iris",
    "data.json": "/examples/formats/sudoku/cases/four-by-four/data.json",
    "data.dzn": "/examples/formats/sudoku/cases/four-by-four/data.dzn",
    "summary.txt": "/examples/formats/sudoku/cases/four-by-four/summary.txt",
    "catalog.txt": "/examples/formats/sudoku/cases/four-by-four/catalog.txt",
    "catalog.dzn": "/examples/formats/sudoku/cases/four-by-four/catalog.dzn",
    "case": "/examples/formats/sudoku/cases/four-by-four/case.json"
  },
  "spec": {
    "path": "formats/sudoku/sudoku.iris",
    "text": "format sudoku\n\ninstances {\n  line \"# size={n:1..} box={box_width:1..}x{box_height:1..}\"\n  cells[n][n]: alphabet \"123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ0\" blank \".\"\n\n  check box_width * box_height == n \"boxes must tile the grid\"\n  check max(cells) <= n \"a value is larger than the size of the grid\"\n}\n"
  }
}