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 |
| 16x16 Sudoku | ✅ Test Case 1: Test 1 ✅ Test Case 2: Test 2 ❌ Test Case 3: Test 3 ❌ Test Case 4: Test 4 ❌ Test Case 5: Test 5 ❌ Test Case 6: Test 6 |
| 25x25 Sudoku | ✅ Test Case 1: Test 1 ❌ Test Case 2: Test 2 ❌ Test Case 3: Test 3 ❌ Test Case 4: Test 4 ❌ Test Case 5: Test 5 |
| Mini Sudoku Solver 💯 | ✅ Test Case 1: Test 1 ✅ Test Case 2: Test 2 ✅ Test Case 3: Test 3 ✅ Test Case 4: Test 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 |
| Takuzu Solver 💯 | ✅ Test Case 1: Test 4x4 ✅ Test Case 2: Test 6x6 ✅ Test Case 3: Test 8x8 ✅ Test Case 4: Test 10x10 ✅ Test Case 5: Test 12x12 ✅ Test Case 6: Test 8x8 Hard ✅ Validator 1: Validator 4x4 ✅ Validator 2: Validator 6x6 ✅ Validator 3: Validator 8x8 ✅ Validator 4: Validator 10x10 ✅ Validator 5: Validator 12x12 ✅ Validator 6: Validator 8x8 Hard |
| Suguru Solver | ✅ Test Case 1: 4x5 ❌ Test Case 2: 8x8 ✅ Test Case 3: 15x10 ✅ Test Case 4: 20x20 |
| Killer Sudoku Solver 💯 | ✅ Test Case 1: Easy ✅ Test Case 2: Medium ✅ Test Case 3: Hard ✅ Test Case 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 |
| Kakuro Solver | ✅ Test Case 1: Example 1 (3 * 3) ✅ Test Case 2: Test 2 (4 * 4) ✅ Test Case 3: Test 3 (1 * 3) ✅ Test Case 4: Example 2 (5 * 5) ✅ Test Case 5: Test 5 (9 * 8) ✅ Test Case 6: Test 6 (9 * 9) ✅ Test Case 7: Test 7 (12 * 10) ✅ Test Case 8: Test 8 (18 * 10) ✅ Test Case 9: Test 9 (15 * 15) ❌ Test Case 10: Test 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 |
| 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: Missing Hints Right ✅ Test Case 9: Missing Hints Left ✅ Test Case 10: Missing Hints Top ✅ Test Case 11: Missing Hints Bottom ✅ Test Case 12: Missing Hints Everywhere ✅ Validator 1: Simple ✅ Validator 2: Easy ✅ Validator 3: Tricky ✅ Validator 4: Advanced ✅ Validator 5: Hard ✅ Validator 6: Expert ✅ Validator 7: Brutal ✅ Validator 8: Missing Hints Right ❌ Validator 9: Missing Hints Left ✅ Validator 10: Missing Hints Top ✅ Validator 11: Missing Hints Bottom ✅ Validator 12: Missing Hints Everywhere |
| 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 |