Skip to content

Commit 0186cc4

Browse files
committed
Fix missing verifier and result
1 parent f824825 commit 0186cc4

File tree

2 files changed

+6
-4
lines changed

2 files changed

+6
-4
lines changed

README.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ Most of solvers implemented in this repo are both effective and efficient. They
1717
>
1818
> `Avg T` and `Max T` indicates the average / maximum time required to solve one puzzle grid among all instances (in seconds).
1919
>
20-
> `#.V` shows the number of verified solutions compared with the expected solutions. Note that some of solutions failed this verification because of additional yet unpopular constraints (like diagnonal-ABCEndView), or different variants of puzzles(like different shapes of 6x6 Jigsaw Sudoku).
20+
> `#.V` shows the number of verified solutions compared with the expected solutions. Note that some of solutions failed this verification because of additional yet unpopular constraints (like diagnonal-ABCEndView), or different variants of puzzles(like different shapes of 6x6 Jigsaw Sudoku and Bricks).
2121
2222

2323
| No. | Puzzle Name | #.P | #.S | Max Size | Sol? | Avg T(s) | Max T(s) | #.V |
@@ -28,7 +28,7 @@ Most of solvers implemented in this repo are both effective and efficient. They
2828
| 4 | Battleship | 860 | 860 | 14x14 || - | - | - |
2929
| 5 | Binairo | 380 | 380 | 14x14 || 0.008 | 0.016 | 380 |
3030
| 6 | Bosanowa | 38 | 38 | 11x16 || 0.017 | 0.214 | 38 |
31-
| 7 | Bricks | 210 | 210 | 8x8 || 0.003 | 0.013 | 0 |
31+
| 7 | Bricks | 210 | 210 | 8x8 || 0.003 | 0.013 | 190 |
3232
| 8 | Buraitoraito | 101 | 100 | 15x15 || 0.009 | 0.253 | 100 |
3333
| 9 | Burokku | 270 | 270 | 10x10 || - | - | - |
3434
| 10 | ButterflySudoku | 77 | 77 | 12x12 || 0.008 | 0.012 | 77 |
@@ -42,7 +42,7 @@ Most of solvers implemented in this repo are both effective and efficient. They
4242
| 18 | Creek | 440 | 440 | 40x50 || 0.357 | 12.938 | 440 |
4343
| 19 | CurvingRoad | 190 | 190 | 14x14 || - | - | - |
4444
| 20 | Detour | 80 | 80 | 13x12 || 0.025 | 0.407 | 80 |
45-
| 21 | DiffNeighbors | 140 | 140 | 15x15 || 0.014 | 0.026 | 0 |
45+
| 21 | DiffNeighbors | 140 | 140 | 15x15 || 0.014 | 0.025 | 140 |
4646
| 22 | DigitalBattleship | 80 | 80 | 12x12 || - | - | - |
4747
| 23 | Dominos | 580 | 579 | 10x11 || 0.004 | 0.010 | 579 |
4848
| 24 | Doors | 270 | 270 | 12x12 || - | - | - |

src/puzzlekit/verifiers/__init__.py

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,9 @@
7676
"kuromasu": lambda a, b: verify_target_content(a, b, 'x'),
7777
"skyscraper": verify_exact,
7878
"makaro": verify_exact,
79-
"trinairo": verify_exact
79+
"trinairo": verify_exact,
80+
"bricks": verify_exact,
81+
"diff_neighbors": verify_exact,
8082
}
8183

8284
def grid_verifier(puzzle_type: str, a: Grid, b: Grid) -> bool:

0 commit comments

Comments
 (0)