Conventions

  • Lower Case:   taken literally
  • Upper Case:   variable
  • s = square (usually called cell.  Use square for convenience in notation)
  • r = row
  • c = column
  • n = number  (A Sudoku Digit:  1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9)
  • b = block  (3 x 3 mini-grid)

Operators: 

  • = assigns a cell to value/s
  • <> (not equal) removes value/s
  • => infers

Examples:  rRcC=N  in a specific example might be:  r1c2=3.  R | C | N  can also be more than one digit.

r25c13=56  means:  r2c1=56, r2c3=56, r5c1=56, r5c3=56

  • line = row | column
  • house = row | column | block
  • buddy = a square in the same house as another square

STILL UNDER DEVELOPMENT