Bytedoku: Binary Sudoku

Bytedoku is sudoku for people who think in bits. As in classic sudoku, every number appears exactly once in each row, column and box. But the cages don't give sums, they give bitwise operations: XOR (^), AND (&), OR (|) or a fixed value. "^01" means: all numbers in the cage, XORed together, give 01. THE GAME • Thousands of levels, from 4×4 with the numbers 0–3 to 8×8 with 0–7 • Every level has exactly one solution • Four tests run along: rows.unique(), cols.unique(), boxes.unique(), cages.eval() • A pager only goes off when a test newly fails. A wrong value without a contradiction costs nothing • Three pagers: incident. A postmortem then shows the timeline, stats and tips • $ git revert undoes any step, as often as you like • $ duck gives hints in words without giving the solution away NOTES • Candidates that are struck automatically when you enter a value (can be turned off) • Bit…