─────╷────────── $𝖈𝖉𝖐𝖚/𝖈𝖆𝖑𝖈𝖚𝖉𝖔𝖐𝖚-𝖗𝖚𝖑𝖊𝖘.𝖘𝖆𝖕𝖕𝖍𝖎𝖗𝖊 ──────────────────────────────────────────────────────
0┊--------------------------------| Calcudoku Rules in Sapphire |---------------------------------
1┊--|∙An∙n×n∙grid∙of∙cells
2┊--|∙Each∙cell∙is∙to∙be∙filled∙with∙a∙number∙from∙{1⋯n}∙so∙that∙each∙row,
3┊--|∙column∙and∙block∙have∙the∙complete∙range∙with∙no∙repeats.
4┊
5┊Idx={0⋯n⨫1}^2
6┊∀⟨a∙b⟩∈Idx
7┊∙∙⦗sol∙a∙b⦘∈{1⋯n}
8┊∙∙∀⟨c∙d⟩∈Idx
9┊∙∙∙∙⦗sol∙a∙b⦘=⦗sol∙c∙d⦘∙⇒∙a=c∧b=d∙∨∙a¬=c∧b¬=d
─────╵────────────────────────────────────────────────────────────────────────────────────────────────