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