KenKen

op: puzzles.kenken.solve

N×N Latin square + cages with operators (+, -, ×, ÷, =). Projection: per-cage digit-tuple enumeration ∩ Latin-square row/col propagation.

puzzle JSON ({n: int, cages: [{cells, op: '+'|'-'|'*'|'/'|'=', target}, ...]})

{
  "n": 4,
  "cages": [
    {
      "cells": [
        [
          0,
          0
        ],
        [
          0,
          1
        ]
      ],
      "op": "+",
      "target": 3
    },
    {
      "cells": [
        [
          0,
          2
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ]
      ],
      "op": "+",
      "target": 8
    },
    {
      "cells": [
        [
          0,
          3
        ]
      ],
      "op": "=",
      "target": 4
    },
    {
      "cells": [
        [
          1,
          0
        ],
        [
          1,
          1
        ]
      ],
      "op": "+",
      "target": 5
    },
    {
      "cells": [
        [
          2,
          0
        ],
        [
          2,
          1
        ]
      ],
      "op": "+",
      "target": 5
    },
    {
      "cells": [
        [
          2,
          2
        ],
        [
          2,
          3
        ],
        [
          3,
          3
        ]
      ],
      "op": "+",
      "target": 7
    },
    {
      "cells": [
        [
          3,
          0
        ],
        [
          3,
          1
        ]
      ],
      "op": "+",
      "target": 7
    },
    {
      "cells": [
        [
          3,
          2
        ]
      ],
      "op": "=",
      "target": 1
    }
  ]
}

example