Skip to content

Solving Logic Puzzles Logically

Many logic puzzles can be solved with no guessing at all. On this page, I will keep track of my personal progress toward solving all logic puzzles with logic alone, no guessing and no backtracking.

Puzzle Results
Sudoku Solver ✅ Test Case 1: Very Easy
✅ Test Case 2: Easy
✅ Test Case 3: Intermediate/Hard
❌ Test Case 4: World's Hardest Sudoku
✅ Validator 1: Very Easy
✅ Validator 2: Easy
✅ Validator 3: Intermediate/Hard
❌ Validator 4: World's Hardest Sudoku
16x16 Sudoku ✅ Test Case 1
✅ Test Case 2
❌ Test Case 3
❌ Test Case 4
❌ Test Case 5
❌ Test Case 6
✅ Validator 1
✅ Validator 2
❌ Validator 3
❌ Validator 4
❌ Validator 5
❌ Validator 6
25x25 Sudoku ✅ Test Case 1
❌ Test Case 2
❌ Test Case 3
❌ Test Case 4
❌ Test Case 5
✅ Validator 1
❌ Validator 2
❌ Validator 3
❌ Validator 4
❌ Validator 5
Mini Sudoku Solver 💯 ✅ Test Case 1
✅ Test Case 2
✅ Test Case 3
✅ Test Case 4
✅ Validator 1
✅ Validator 2
✅ Validator 3
✅ Validator 4
Futoshiki Solver 💯 ✅ Test Case 1: No comparisons
✅ Test Case 2: Comparisons only horizontal
✅ Test Case 3: Comparisons only vertical
✅ Test Case 4: 5x5
✅ Test Case 5: 7x7
✅ Test Case 6: More 5x5
✅ Test Case 7: 4x4
✅ Test Case 8: 6x6
✅ Test Case 9: More 6x6
✅ Test Case 10: 3x3
✅ Test Case 11: 1x1
✅ Validator 1: No comparisons
✅ Validator 2: Comparisons only horizontal
✅ Validator 3: Comparisons only vertical
✅ Validator 4: 5x5
✅ Validator 5: 7x7
✅ Validator 6: More 5x5
✅ Validator 7: 4x4
✅ Validator 8: 6x6
✅ Validator 9: More 6x6
✅ Validator 10: 3x3
✅ Validator 11: 1x1
Takuzu Solver 💯 ✅ Test Case 1: 4x4
✅ Test Case 2: 6x6
✅ Test Case 3: 8x8
✅ Test Case 4: 10x10
✅ Test Case 5: 12x12
✅ Test Case 6: 8x8 Hard
✅ Validator 1: 4x4
✅ Validator 2: 6x6
✅ Validator 3: 8x8
✅ Validator 4: 10x10
✅ Validator 5: 12x12
✅ Validator 6: 8x8 Hard
Suguru Solver ✅ Test Case 1: 4x5
❌ Test Case 2: 8x8
✅ Test Case 3: 15x10
✅ Test Case 4: 20x20
✅ Validator 1: 4x5
✅ Validator 2: 8x8
✅ Validator 3: 15x10
✅ Validator 4: 20x20
Killer Sudoku Solver 💯 ✅ Test Case 1: Easy
✅ Test Case 2: Medium
✅ Test Case 3: Hard
✅ Test Case 4: Expert
✅ Validator 1: Easy
✅ Validator 2: Medium
✅ Validator 3: Hard
✅ Validator 4: Expert
Killer Sudoku Extreme Challenge 💯 ✅ Test Case 1: 1 Puzzle - Easy
✅ Test Case 2: 1 Hard Puzzle - Fewer Cages
✅ Test Case 3: 2 Puzzles
✅ Test Case 4: 8 Puzzles
✅ Test Case 5: 16 Puzzles
✅ Test Case 6: 32 Puzzles
✅ Test Case 7: 40 Puzzles
✅ Validator 1: 1 Puzzle - Easy
✅ Validator 2: 1 Hard Puzzle - Fewer Cages
✅ Validator 3: 2 Puzzles
✅ Validator 4: 8 Puzzles
✅ Validator 5: 16 Puzzles
✅ Validator 6: 32 Puzzles
✅ Validator 7: 40 Puzzles
Kakuro Solver ✅ Test Case 1: 3 * 3
✅ Test Case 2: 4 * 4
✅ Test Case 3: 1 * 3
✅ Test Case 4: 5 * 5
✅ Test Case 5: 9 * 8
✅ Test Case 6: 9 * 9
✅ Test Case 7: 12 * 10
✅ Test Case 8: 18 * 10
✅ Test Case 9: 15 * 15
❌ Test Case 10: 7 * 7
✅ Validator 1: 3 * 3
✅ Validator 2: 4 * 4
✅ Validator 3: 1 * 3
✅ Validator 4: 5 * 5
✅ Validator 5: 9 * 8
✅ Validator 6: 9 * 9
✅ Validator 7: 12 * 10
✅ Validator 8: 18 * 10
✅ Validator 9: 15 * 15
❌ Validator 10: 7 * 7
There is no Spoon - Episode 2 ✅ Test Case 1: Simplest
✅ Test Case 2: Simpler
✅ Test Case 3: Simple
✅ Test Case 4: Basic
✅ Test Case 5: Intermediate 1
✅ Test Case 6: Intermediate 2
✅ Test Case 7: Intermediate 3
✅ Test Case 8: Advanced
❌ Test Case 9: Multiple solutions 1
✅ Test Case 10: Back to basics
❌ Test Case 11: CG
❌ Test Case 12: Multiple solutions 2
❌ Test Case 13: Expert
✅ Validator 1: Simplest
✅ Validator 2: Simpler
✅ Validator 3: Simple
✅ Validator 4: Intermediate 1
✅ Validator 5: Intermediate 2
✅ Validator 6: Intermediate 3
✅ Validator 7: Advanced 1
❌ Validator 8: Advanced 2
✅ Validator 9: Back to Basics
❌ Validator 10: Multiple Solutions 1
❌ Validator 11: CG
❌ Validator 12: Multiple solutions 2
❌ Validator 13: Expert
Battleship Solitaire 💯 ✅ Test Case 1: Only-spots-left
✅ Test Case 2: The-rest-is-water
✅ Test Case 3: Water-on-corners
✅ Test Case 4: Surround-whole-boat
✅ Test Case 5: Only-place-it-could-fit
✅ Test Case 6: Seaman
✅ Test Case 7: Petty Officer First Class
✅ Test Case 8: Senior Chief Petty Officer
✅ Test Case 9: Command Master Chief Petty Officer
✅ Test Case 10: Chief Warrant Officer
✅ Test Case 11: Lieutenant Junior Grade
✅ Test Case 12: Lieutenant Commander
✅ Test Case 13: Captain
✅ Test Case 14: Rear Admiral
✅ Test Case 15: Admiral
✅ Validator 1: Only-spots-left
✅ Validator 2: The-rest-is-water
✅ Validator 3: Water-on-corners
✅ Validator 4: Surround-whole-boat
✅ Validator 5: Only-place-it-could-fit
✅ Validator 6: Petty Officer
✅ Validator 7: Chief Petty Officer
✅ Validator 8: Master Chief Petty Officer
✅ Validator 9: Master Chief Petty Officer Of The Navy
✅ Validator 10: Ensign
✅ Validator 11: Lieutenant
✅ Validator 12: Commander
✅ Validator 13: Rear Admiral Lower Half
✅ Validator 14: Vice Admiral
✅ Validator 15: Fleet Admiral
Magnets ✅ Test Case 1: Simple
✅ Test Case 2: Easy
✅ Test Case 3: Tricky
✅ Test Case 4: Advanced
✅ Test Case 5: Hard
✅ Test Case 6: Expert
✅ Test Case 7: Brutal
✅ Test Case 8: Impossible 1
✅ Test Case 9: Impossible 2
✅ Test Case 10: Impossible 3
✅ Test Case 11: Impossible 4
✅ Test Case 12: Impossible 5
✅ Validator 1: Simple
✅ Validator 2: Easy
✅ Validator 3: Tricky
✅ Validator 4: Advanced
✅ Validator 5: Hard
✅ Validator 6: Expert
✅ Validator 7: Brutal
✅ Validator 8: Impossible 1
❌ Validator 9: Impossible 2
✅ Validator 10: Impossible 3
✅ Validator 11: Impossible 4
✅ Validator 12: Impossible 5
Nurikabe ✅ Test 1
✅ Test 2
✅ Test 3
❌ Test 4
✅ Test 5
✅ Test 6
✅ Test 7
✅ Test 8
✅ Test 9
✅ Test 10
❌ Test 11
✅ Validator 1
✅ Validator 2
✅ Validator 3
✅ Validator 4
✅ Validator 5
✅ Validator 6
✅ Validator 7
✅ Validator 8
✅ Validator 9
❌ Validator 10
✅ Validator 11