sudosol is a sudoku solver using only human techniques. Currently, sudosol implements the techniques from Simple Sudoku program (Simple Sudoku Technique Set, ssts). These techniques are:
- naked and hidden single, pair, triple and quad,
- locked candidate (pointing and claiming),
- X-wing and swordfish,
- XY-wing,
- simple coloring and multi coloring.
More techniques are being implemented, either equivalent to Simple Sudoku techniques, or beyond Simple Sudoku techniques. Currently, they are:
- locked pair and triple, turbot fish, skyscraper, 2-string kite, empty rectangle,
- jellyfish, finned and sashimi X-wing, finned and sashimi swordfish, finned and sashimi jellyfish, XYZ-wing, W-wing, X-chain, XY-chain, BUG+1, uniqueness test 1, 2, 3, 4, 5 and 6, hidden rectangle, avoidable rectangle type 1 and type 2, Sue de Coq.
Tests make sure each technique is handled correctly.
sudosol requires python >= 3.6.