multi-puzzle-solver 0.9.2__tar.gz → 0.9.4__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {multi_puzzle_solver-0.9.2/src/multi_puzzle_solver.egg-info → multi_puzzle_solver-0.9.4}/PKG-INFO +198 -29
- multi_puzzle_solver-0.9.2/PKG-INFO → multi_puzzle_solver-0.9.4/README.md +2405 -2262
- multi_puzzle_solver-0.9.2/README.md → multi_puzzle_solver-0.9.4/src/multi_puzzle_solver.egg-info/PKG-INFO +2431 -2236
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/multi_puzzle_solver.egg-info/SOURCES.txt +6 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/__init__.py +3 -1
- multi_puzzle_solver-0.9.4/src/puzzle_solver/puzzles/aquarium/aquarium.py +112 -0
- multi_puzzle_solver-0.9.4/src/puzzle_solver/puzzles/stitches/parse_map/parse_map.py +209 -0
- multi_puzzle_solver-0.9.4/src/puzzle_solver/puzzles/stitches/stitches.py +111 -0
- multi_puzzle_solver-0.9.4/src/puzzle_solver/utils/visualizer.py +134 -0
- multi_puzzle_solver-0.9.4/tests/test_aquarium.py +87 -0
- multi_puzzle_solver-0.9.4/tests/test_stitches.py +83 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/pyproject.toml +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/setup.cfg +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/multi_puzzle_solver.egg-info/dependency_links.txt +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/multi_puzzle_solver.egg-info/requires.txt +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/multi_puzzle_solver.egg-info/top_level.txt +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/core/utils.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/core/utils_ortools.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/bridges/bridges.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/chess_range/chess_melee.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/chess_range/chess_range.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/chess_range/chess_solo.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/dominosa/dominosa.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/filling/filling.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/guess/guess.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/inertia/inertia.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/inertia/parse_map/parse_map.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/inertia/tsp.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/keen/keen.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/light_up/light_up.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/magnets/magnets.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/map/map.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/minesweeper/minesweeper.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/mosaic/mosaic.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/nonograms/nonograms.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/pearl/pearl.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/range/range.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/signpost/signpost.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/singles/singles.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/sudoku/sudoku.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/tents/tents.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/thermometers/thermometers.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/towers/towers.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/tracks/tracks.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/undead/undead.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/src/puzzle_solver/puzzles/unruly/unruly.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_bridges.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_chess_melee.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_chess_range.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_chess_solo.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_dominosa.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_filling.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_guess.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_inertia.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_keen.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_light_up.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_magnets.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_map.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_minesweeper.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_mosaic.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_nonograms.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_pearl.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_range.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_signpost.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_singles.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_sudoku.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_tents.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_thermometers.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_towers.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_tracks.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_undead.py +0 -0
- {multi_puzzle_solver-0.9.2 → multi_puzzle_solver-0.9.4}/tests/test_unruly.py +0 -0
{multi_puzzle_solver-0.9.2/src/multi_puzzle_solver.egg-info → multi_puzzle_solver-0.9.4}/PKG-INFO
RENAMED
@@ -1,6 +1,6 @@
|
|
1
1
|
Metadata-Version: 2.4
|
2
2
|
Name: multi-puzzle-solver
|
3
|
-
Version: 0.9.
|
3
|
+
Version: 0.9.4
|
4
4
|
Summary: Efficient solvers for numerous popular and esoteric logic puzzles using CP-SAT
|
5
5
|
Author: Ar-Kareem
|
6
6
|
Project-URL: Homepage, https://github.com/Ar-Kareem/puzzle_solver
|
@@ -89,142 +89,152 @@ These are all the puzzles that are implemented in this repo. <br> Click on any o
|
|
89
89
|
<tr>
|
90
90
|
<td align="center">
|
91
91
|
<a href="#nonograms-puzzle-type-1"><b>Nonograms</b><br><br>
|
92
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/nonogram_solved.png" alt="Nonograms" width="
|
92
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/nonogram_solved.png" alt="Nonograms" width="140">
|
93
93
|
</a>
|
94
94
|
</td>
|
95
95
|
<td align="center">
|
96
96
|
<a href="#sudoku-puzzle-type-2"><b>Sudoku</b><br><br>
|
97
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/sudoku_solved.png" alt="Sudoku" width="
|
97
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/sudoku_solved.png" alt="Sudoku" width="140">
|
98
98
|
</a>
|
99
99
|
</td>
|
100
100
|
<td align="center">
|
101
101
|
<a href="#minesweeper-puzzle-type-3"><b>Minesweeper</b><br><br>
|
102
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/minesweeper_pre.png" alt="Minesweeper" width="
|
102
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/minesweeper_pre.png" alt="Minesweeper" width="140">
|
103
103
|
</a>
|
104
104
|
</td>
|
105
105
|
<td align="center">
|
106
106
|
<a href="#dominosa-puzzle-type-4"><b>Dominosa</b><br><br>
|
107
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/dominosa_solved.png" alt="Dominosa" width="
|
107
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/dominosa_solved.png" alt="Dominosa" width="140">
|
108
108
|
</a>
|
109
109
|
</td>
|
110
110
|
<td align="center">
|
111
111
|
<a href="#light-up-puzzle-type-5"><b>Light Up</b><br><br>
|
112
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/lightup_solved.png" alt="Light Up" width="
|
112
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/lightup_solved.png" alt="Light Up" width="140">
|
113
113
|
</a>
|
114
114
|
</td>
|
115
115
|
</tr>
|
116
116
|
<tr>
|
117
117
|
<td align="center">
|
118
118
|
<a href="#tents-puzzle-type-6"><b>Tents</b><br><br>
|
119
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/tents_solved.png" alt="Tents" width="
|
119
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/tents_solved.png" alt="Tents" width="140">
|
120
120
|
</a>
|
121
121
|
</td>
|
122
122
|
<td align="center">
|
123
123
|
<a href="#filling-puzzle-type-7"><b>Filling</b><br><br>
|
124
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/filling_solved.png" alt="Filling" width="
|
124
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/filling_solved.png" alt="Filling" width="140">
|
125
125
|
</a>
|
126
126
|
</td>
|
127
127
|
<td align="center">
|
128
128
|
<a href="#keen-puzzle-type-8"><b>Keen</b><br><br>
|
129
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/keen_solved.png" alt="Keen" width="
|
129
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/keen_solved.png" alt="Keen" width="140">
|
130
130
|
</a>
|
131
131
|
</td>
|
132
132
|
<td align="center">
|
133
133
|
<a href="#towers-puzzle-type-9"><b>Towers</b><br><br>
|
134
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/towers_solved.png" alt="Towers" width="
|
134
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/towers_solved.png" alt="Towers" width="140">
|
135
135
|
</a>
|
136
136
|
</td>
|
137
137
|
<td align="center">
|
138
138
|
<a href="#singles-puzzle-type-10"><b>Singles</b><br><br>
|
139
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/singles_solved.png" alt="Singles" width="
|
139
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/singles_solved.png" alt="Singles" width="140">
|
140
140
|
</a>
|
141
141
|
</td>
|
142
142
|
</tr>
|
143
143
|
<tr>
|
144
144
|
<td align="center">
|
145
145
|
<a href="#magnets-puzzle-type-11"><b>Magnets</b><br><br>
|
146
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/magnets_solved.png" alt="Magnets" width="
|
146
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/magnets_solved.png" alt="Magnets" width="140">
|
147
147
|
</a>
|
148
148
|
</td>
|
149
149
|
<td align="center">
|
150
150
|
<a href="#signpost-puzzle-type-12"><b>Signpost</b><br><br>
|
151
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/signpost_solved.png" alt="Signpost" width="
|
151
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/signpost_solved.png" alt="Signpost" width="140">
|
152
152
|
</a>
|
153
153
|
</td>
|
154
154
|
<td align="center">
|
155
155
|
<a href="#range-puzzle-type-13"><b>Range</b><br><br>
|
156
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/range_solved.png" alt="Range" width="
|
156
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/range_solved.png" alt="Range" width="140">
|
157
157
|
</a>
|
158
158
|
</td>
|
159
159
|
<td align="center">
|
160
160
|
<a href="#undead-puzzle-type-14"><b>Undead</b><br><br>
|
161
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/undead_solved.png" alt="Undead" width="
|
161
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/undead_solved.png" alt="Undead" width="140">
|
162
162
|
</a>
|
163
163
|
</td>
|
164
164
|
<td align="center">
|
165
165
|
<a href="#unruly-puzzle-type-15"><b>Unruly</b><br><br>
|
166
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/unruly_solved.png" alt="Unruly" width="
|
166
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/unruly_solved.png" alt="Unruly" width="140">
|
167
167
|
</a>
|
168
168
|
</td>
|
169
169
|
</tr>
|
170
170
|
<tr>
|
171
171
|
<td align="center">
|
172
172
|
<a href="#tracks-puzzle-type-16"><b>Tracks</b><br><br>
|
173
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/tracks_solved.png" alt="Tracks" width="
|
173
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/tracks_solved.png" alt="Tracks" width="140">
|
174
174
|
</a>
|
175
175
|
</td>
|
176
176
|
<td align="center">
|
177
177
|
<a href="#mosaic-puzzle-type-17"><b>Mosaic</b><br><br>
|
178
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/mosaic_solved.png" alt="Mosaic" width="
|
178
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/mosaic_solved.png" alt="Mosaic" width="140">
|
179
179
|
</a>
|
180
180
|
</td>
|
181
181
|
<td align="center">
|
182
182
|
<a href="#map-puzzle-type-18"><b>Map</b><br><br>
|
183
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/map_solved.png" alt="Map" width="
|
183
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/map_solved.png" alt="Map" width="140">
|
184
184
|
</a>
|
185
185
|
</td>
|
186
186
|
<td align="center">
|
187
187
|
<a href="#pearl-puzzle-type-19"><b>Pearl</b><br><br>
|
188
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/pearl_solved.png" alt="Pearl" width="
|
188
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/pearl_solved.png" alt="Pearl" width="140">
|
189
189
|
</a>
|
190
190
|
</td>
|
191
191
|
<td align="center">
|
192
192
|
<a href="#bridges-puzzle-type-20"><b>Bridges</b><br><br>
|
193
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/bridges_solved.png" alt="Bridges" width="
|
193
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/bridges_solved.png" alt="Bridges" width="140">
|
194
194
|
</a>
|
195
195
|
</td>
|
196
196
|
</tr>
|
197
197
|
<tr>
|
198
198
|
<td align="center">
|
199
199
|
<a href="#inertia-puzzle-type-21"><b>Inertia</b><br><br>
|
200
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/inertia_unsolved.png" alt="Inertia" width="
|
200
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/inertia_unsolved.png" alt="Inertia" width="140">
|
201
201
|
</a>
|
202
202
|
</td>
|
203
203
|
<td align="center">
|
204
204
|
<a href="#guess-puzzle-type-22"><b>Guess</b><br><br>
|
205
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/guess_3.png" alt="Guess" width="
|
205
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/guess_3.png" alt="Guess" width="140">
|
206
206
|
</a>
|
207
207
|
</td>
|
208
208
|
<td align="center">
|
209
209
|
<a href="#chess-range-puzzle-type-23"><b>Chess Range</b><br><br>
|
210
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_range_unsolved.png" alt="Chess range" width="
|
210
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_range_unsolved.png" alt="Chess range" width="140">
|
211
211
|
</a>
|
212
212
|
</td>
|
213
213
|
<td align="center">
|
214
214
|
<a href="#chess-solo-puzzle-type-24"><b>Chess Solo</b><br><br>
|
215
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_solo_unsolved.png" alt="Chess solo" width="
|
215
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_solo_unsolved.png" alt="Chess solo" width="140">
|
216
216
|
</a>
|
217
217
|
</td>
|
218
218
|
<td align="center">
|
219
219
|
<a href="#chess-melee-puzzle-type-25"><b>Chess Melee</b><br><br>
|
220
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_melee_unsolved.png" alt="Chess melee" width="
|
220
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/chess_melee_unsolved.png" alt="Chess melee" width="140">
|
221
221
|
</a>
|
222
222
|
</td>
|
223
223
|
</tr>
|
224
224
|
<tr>
|
225
225
|
<td align="center">
|
226
226
|
<a href="#thermometers-puzzle-type-26"><b>Thermometers</b><br><br>
|
227
|
-
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/
|
227
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/thermometers_solved.png" alt="Thermometers" width="140">
|
228
|
+
</a>
|
229
|
+
</td>
|
230
|
+
<td align="center">
|
231
|
+
<a href="#aquarium-puzzle-type-27"><b>Aquarium</b><br><br>
|
232
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/aquarium_solved.png" alt="Aquarium" width="140">
|
233
|
+
</a>
|
234
|
+
</td>
|
235
|
+
<td align="center">
|
236
|
+
<a href="#stitches-puzzle-type-28"><b>Stitches</b><br><br>
|
237
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/stitches_solved.png" alt="Stitches" width="140">
|
228
238
|
</a>
|
229
239
|
</td>
|
230
240
|
</tr>
|
@@ -268,6 +278,8 @@ These are all the puzzles that are implemented in this repo. <br> Click on any o
|
|
268
278
|
- [Chess Solo (Puzzle Type #24)](#chess-solo-puzzle-type-24)
|
269
279
|
- [Chess Melee (Puzzle Type #25)](#chess-melee-puzzle-type-25)
|
270
280
|
- [Thermometers (Puzzle Type #26)](#thermometers-puzzle-type-26)
|
281
|
+
- [Aquarium (Puzzle Type #27)](#aquarium-puzzle-type-27)
|
282
|
+
- [Stitches (Puzzle Type #28)](#stitches-puzzle-type-28)
|
271
283
|
- [Why SAT / CP-SAT?](#why-sat--cp-sat)
|
272
284
|
- [Testing](#testing)
|
273
285
|
- [Contributing](#contributing)
|
@@ -2117,6 +2129,7 @@ Time taken: 6.24 seconds
|
|
2117
2129
|
<summary><strong>Rules</strong></summary>
|
2118
2130
|
|
2119
2131
|
You have to fill some thermometers with mercury starting from the bulb and going toward the end without gaps.
|
2132
|
+
|
2120
2133
|
The numbers outside the grid show the number of filled cells horizontally and vertically.
|
2121
2134
|
|
2122
2135
|
</details>
|
@@ -2127,8 +2140,6 @@ The numbers outside the grid show the number of filled cells horizontally and ve
|
|
2127
2140
|
|
2128
2141
|
Code to utilize this package and solve the puzzle:
|
2129
2142
|
|
2130
|
-
(Note that this puzzle does not typically have a unique solution. Thus, we specify here that we only want the first valid solution that the solver finds.)
|
2131
|
-
|
2132
2143
|
```python
|
2133
2144
|
from puzzle_solver import thermometers_solver as solver
|
2134
2145
|
board = np.array([
|
@@ -2183,6 +2194,162 @@ Time taken: 0.01 seconds
|
|
2183
2194
|
|
2184
2195
|
---
|
2185
2196
|
|
2197
|
+
## Aquarium (Puzzle Type #27)
|
2198
|
+
|
2199
|
+
* [**Play online**](https://www.puzzle-aquarium.com/)
|
2200
|
+
|
2201
|
+
* [**Solver Code**][27]
|
2202
|
+
|
2203
|
+
<details>
|
2204
|
+
<summary><strong>Rules</strong></summary>
|
2205
|
+
|
2206
|
+
The puzzle is played on a rectangular grid divided into blocks called "aquariums"
|
2207
|
+
|
2208
|
+
You have to "fill" the aquariums with water up to a certain level or leave it empty.
|
2209
|
+
|
2210
|
+
The water level in each aquarium is one and the same across its full width
|
2211
|
+
|
2212
|
+
The numbers outside the grid show the number of filled cells horizontally and vertically.
|
2213
|
+
|
2214
|
+
</details>
|
2215
|
+
|
2216
|
+
**Unsolved puzzle**
|
2217
|
+
|
2218
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/aquarium_unsolved.png" alt="Aquarium unsolved" width="500">
|
2219
|
+
|
2220
|
+
Code to utilize this package and solve the puzzle:
|
2221
|
+
|
2222
|
+
```python
|
2223
|
+
from puzzle_solver import aquarium_solver as solver
|
2224
|
+
board = np.array([
|
2225
|
+
['01', '01', '01', '01', '02', '02', '02', '03', '03', '03', '03', '04', '05', '05', '05'],
|
2226
|
+
['01', '02', '02', '02', '02', '06', '07', '07', '03', '08', '03', '04', '04', '05', '09'],
|
2227
|
+
['01', '01', '02', '11', '06', '06', '06', '12', '12', '08', '13', '13', '13', '09', '09'],
|
2228
|
+
['01', '11', '11', '11', '14', '06', '06', '12', '12', '15', '15', '13', '09', '09', '09'],
|
2229
|
+
['01', '01', '11', '11', '14', '12', '12', '12', '16', '16', '15', '13', '13', '17', '09'],
|
2230
|
+
['45', '11', '11', '14', '14', '12', '42', '42', '42', '15', '15', '13', '13', '17', '18'],
|
2231
|
+
['45', '11', '11', '14', '14', '12', '12', '43', '15', '15', '20', '13', '13', '17', '18'],
|
2232
|
+
['46', '46', '11', '19', '19', '19', '43', '43', '44', '20', '20', '20', '13', '17', '18'],
|
2233
|
+
['46', '22', '23', '23', '23', '19', '43', '21', '21', '24', '24', '24', '25', '17', '17'],
|
2234
|
+
['22', '22', '22', '23', '19', '19', '26', '24', '24', '24', '28', '28', '25', '17', '33'],
|
2235
|
+
['22', '22', '23', '23', '27', '27', '26', '26', '24', '24', '29', '29', '25', '25', '33'],
|
2236
|
+
['22', '22', '35', '27', '27', '26', '26', '26', '26', '30', '30', '30', '25', '34', '34'],
|
2237
|
+
['37', '22', '35', '35', '35', '35', '35', '26', '26', '30', '31', '31', '32', '32', '40'],
|
2238
|
+
['37', '37', '37', '36', '36', '35', '26', '26', '26', '40', '40', '40', '40', '40', '40'],
|
2239
|
+
['37', '37', '37', '37', '35', '35', '38', '38', '39', '39', '40', '40', '40', '41', '41'],
|
2240
|
+
])
|
2241
|
+
top = np.array([6, 6, 5, 3, 3, 4, 7, 6, 9, 6, 3, 4, 9, 6, 7])
|
2242
|
+
side = np.array([3, 5, 1, 2, 5, 3, 10, 10, 5, 3, 7, 3, 7, 8, 12])
|
2243
|
+
binst = solver.Board(board=board, top=top, side=side)
|
2244
|
+
solutions = binst.solve_and_print()
|
2245
|
+
```
|
2246
|
+
**Script Output**
|
2247
|
+
|
2248
|
+
```python
|
2249
|
+
Solution found
|
2250
|
+
[['0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '1' '1' '1']
|
2251
|
+
['0' '0' '0' '0' '0' '0' '0' '0' '1' '0' '1' '1' '1' '1' '0']
|
2252
|
+
['0' '0' '0' '0' '0' '0' '0' '0' '0' '1' '0' '0' '0' '0' '0']
|
2253
|
+
['0' '0' '0' '0' '0' '1' '1' '0' '0' '0' '0' '0' '0' '0' '0']
|
2254
|
+
['1' '1' '0' '0' '0' '0' '0' '0' '1' '1' '0' '0' '0' '0' '1']
|
2255
|
+
['0' '0' '0' '0' '0' '0' '1' '1' '1' '0' '0' '0' '0' '0' '0']
|
2256
|
+
['1' '1' '1' '0' '0' '1' '1' '0' '1' '1' '0' '1' '1' '0' '1']
|
2257
|
+
['1' '1' '1' '0' '0' '0' '1' '1' '0' '1' '1' '1' '1' '0' '1']
|
2258
|
+
['1' '0' '0' '0' '0' '0' '1' '1' '1' '0' '0' '0' '1' '0' '0']
|
2259
|
+
['0' '0' '0' '0' '1' '1' '0' '0' '0' '0' '0' '0' '1' '0' '0']
|
2260
|
+
['0' '0' '1' '1' '0' '0' '0' '0' '1' '1' '0' '0' '1' '1' '1']
|
2261
|
+
['0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '0' '1' '1' '1']
|
2262
|
+
['0' '1' '0' '0' '0' '0' '0' '1' '1' '0' '1' '1' '1' '1' '0']
|
2263
|
+
['1' '1' '1' '1' '1' '0' '1' '1' '1' '0' '0' '0' '0' '0' '0']
|
2264
|
+
['1' '1' '1' '1' '1' '1' '1' '1' '1' '1' '0' '0' '0' '1' '1']]
|
2265
|
+
Solutions found: 1
|
2266
|
+
status: OPTIMAL
|
2267
|
+
Time taken: 0.02 seconds
|
2268
|
+
```
|
2269
|
+
|
2270
|
+
**Solved puzzle**
|
2271
|
+
|
2272
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/aquarium_solved.png" alt="Aquarium solved" width="500">
|
2273
|
+
|
2274
|
+
---
|
2275
|
+
|
2276
|
+
## Stitches (Puzzle Type #28)
|
2277
|
+
|
2278
|
+
* [**Play online**](https://www.puzzle-stitches.com/)
|
2279
|
+
|
2280
|
+
* [**Solver Code**][28]
|
2281
|
+
|
2282
|
+
<details>
|
2283
|
+
<summary><strong>Rules</strong></summary>
|
2284
|
+
|
2285
|
+
- Connect each block with ALL its neighbor blocks with exactly 1 "stitch" each.
|
2286
|
+
- A "stitch" connects 2 orthogonally adjacent cells from different blocks.
|
2287
|
+
- 2 stitches cannot share a hole.
|
2288
|
+
- The clues outside the grid indicate the number of holes on that row/column
|
2289
|
+
- For 2÷ puzzles, you have to use 2 stitches to connect neighbor blocks, for 3÷ puzzles - 3 stitches etc.
|
2290
|
+
|
2291
|
+
</details>
|
2292
|
+
|
2293
|
+
**Unsolved puzzle**
|
2294
|
+
|
2295
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/stitches_unsolved.png" alt="Stitches unsolved" width="500">
|
2296
|
+
|
2297
|
+
Code to utilize this package and solve the puzzle:
|
2298
|
+
|
2299
|
+
```python
|
2300
|
+
from puzzle_solver import stitches_solver as solver
|
2301
|
+
board = np.array([
|
2302
|
+
["00", "00", "00", "00", "00", "01", "01", "01", "01", "01", "01", "01", "01", "02", "02"],
|
2303
|
+
["00", "03", "03", "04", "00", "00", "01", "05", "05", "05", "05", "05", "01", "01", "02"],
|
2304
|
+
["00", "03", "04", "04", "04", "00", "05", "05", "05", "05", "05", "05", "05", "05", "02"],
|
2305
|
+
["00", "03", "04", "04", "04", "04", "05", "05", "06", "05", "02", "02", "02", "02", "02"],
|
2306
|
+
["07", "03", "03", "03", "03", "04", "06", "06", "06", "06", "06", "06", "06", "02", "02"],
|
2307
|
+
["07", "07", "07", "03", "03", "04", "04", "06", "08", "08", "08", "06", "02", "02", "02"],
|
2308
|
+
["07", "07", "03", "03", "03", "04", "04", "08", "08", "08", "08", "06", "06", "06", "02"],
|
2309
|
+
["07", "07", "07", "07", "07", "08", "08", "08", "09", "09", "08", "06", "08", "06", "02"],
|
2310
|
+
["10", "10", "07", "07", "09", "09", "09", "09", "09", "09", "08", "08", "08", "11", "02"],
|
2311
|
+
["10", "10", "07", "09", "09", "09", "09", "09", "09", "09", "09", "08", "08", "11", "02"],
|
2312
|
+
["10", "09", "09", "09", "12", "12", "12", "13", "09", "09", "11", "11", "11", "11", "11"],
|
2313
|
+
["10", "10", "10", "09", "12", "12", "12", "13", "09", "11", "11", "11", "13", "13", "11"],
|
2314
|
+
["14", "15", "10", "12", "12", "16", "17", "13", "13", "11", "13", "13", "13", "13", "11"],
|
2315
|
+
["14", "15", "10", "12", "16", "16", "17", "17", "13", "13", "13", "13", "13", "13", "11"],
|
2316
|
+
["14", "15", "15", "12", "16", "16", "17", "17", "17", "17", "17", "13", "13", "13", "13"]
|
2317
|
+
])
|
2318
|
+
top = np.array([6, 6, 9, 5, 3, 8, 9, 3, 1, 4, 4, 1, 4, 8, 5])
|
2319
|
+
side = np.array([0, 10, 6, 4, 4, 1, 5, 8, 2, 6, 5, 11, 4, 3, 7])
|
2320
|
+
binst = solver.Board(board=board, top=top, side=side)
|
2321
|
+
solutions = binst.solve_and_print()
|
2322
|
+
```
|
2323
|
+
**Script Output**
|
2324
|
+
|
2325
|
+
```python
|
2326
|
+
Solution found
|
2327
|
+
[[' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ']
|
2328
|
+
['R' 'L' 'D' 'R' 'L' 'R' 'L' ' ' ' ' ' ' ' ' ' ' 'D' 'R' 'L']
|
2329
|
+
[' ' ' ' 'U' ' ' ' ' 'R' 'L' ' ' ' ' ' ' ' ' ' ' 'U' 'R' 'L']
|
2330
|
+
['D' ' ' ' ' ' ' ' ' 'R' 'L' ' ' ' ' 'D' ' ' ' ' ' ' ' ' ' ']
|
2331
|
+
['U' ' ' ' ' ' ' ' ' 'R' 'L' ' ' ' ' 'U' ' ' ' ' ' ' ' ' ' ']
|
2332
|
+
[' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' 'D' ' ']
|
2333
|
+
[' ' ' ' 'D' ' ' ' ' ' ' 'R' 'L' ' ' 'D' ' ' ' ' ' ' 'U' ' ']
|
2334
|
+
[' ' 'D' 'U' ' ' 'R' 'L' ' ' ' ' ' ' 'U' ' ' 'R' 'L' 'D' ' ']
|
2335
|
+
[' ' 'U' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' 'U' ' ']
|
2336
|
+
[' ' ' ' 'R' 'L' ' ' ' ' ' ' ' ' ' ' ' ' 'D' ' ' 'R' 'L' 'D']
|
2337
|
+
[' ' ' ' 'D' ' ' ' ' ' ' 'R' 'L' ' ' ' ' 'U' ' ' ' ' ' ' 'U']
|
2338
|
+
['D' 'D' 'U' 'R' 'L' 'D' 'D' 'R' 'L' ' ' ' ' ' ' ' ' 'R' 'L']
|
2339
|
+
['U' 'U' ' ' ' ' ' ' 'U' 'U' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ']
|
2340
|
+
[' ' ' ' 'R' 'L' ' ' ' ' ' ' ' ' ' ' ' ' 'D' ' ' ' ' ' ' ' ']
|
2341
|
+
['R' 'L' 'R' 'L' ' ' 'R' 'L' ' ' ' ' ' ' 'U' ' ' ' ' ' ' ' ']]
|
2342
|
+
Solutions found: 1
|
2343
|
+
status: OPTIMAL
|
2344
|
+
Time taken: 0.01 seconds
|
2345
|
+
```
|
2346
|
+
|
2347
|
+
**Solved puzzle**
|
2348
|
+
|
2349
|
+
<img src="https://raw.githubusercontent.com/Ar-Kareem/puzzle_solver/master/images/stitches_solved.png" alt="Stitches solved" width="500">
|
2350
|
+
|
2351
|
+
---
|
2352
|
+
|
2186
2353
|
---
|
2187
2354
|
|
2188
2355
|
## Why SAT / CP-SAT?
|
@@ -2260,3 +2427,5 @@ Issues and PRs welcome!
|
|
2260
2427
|
[24]: https://github.com/Ar-Kareem/puzzle_solver/tree/master/src/puzzle_solver/puzzles/chess_range#chess-solo-puzzle-type-24 "puzzle_solver/src/puzzle_solver/puzzles/chess_range at master · Ar-Kareem/puzzle_solver · GitHub"
|
2261
2428
|
[25]: https://github.com/Ar-Kareem/puzzle_solver/tree/master/src/puzzle_solver/puzzles/chess_range#chess-melee-puzzle-type-25 "puzzle_solver/src/puzzle_solver/puzzles/chess_range at master · Ar-Kareem/puzzle_solver · GitHub"
|
2262
2429
|
[26]: https://github.com/Ar-Kareem/puzzle_solver/tree/master/src/puzzle_solver/puzzles/thermometers "puzzle_solver/src/puzzle_solver/puzzles/thermometers at master · Ar-Kareem/puzzle_solver · GitHub"
|
2430
|
+
[27]: https://github.com/Ar-Kareem/puzzle_solver/tree/master/src/puzzle_solver/puzzles/aquarium "puzzle_solver/src/puzzle_solver/puzzles/aquarium at master · Ar-Kareem/puzzle_solver · GitHub"
|
2431
|
+
[28]: https://github.com/Ar-Kareem/puzzle_solver/tree/master/src/puzzle_solver/puzzles/stitches "puzzle_solver/src/puzzle_solver/puzzles/stitches at master · Ar-Kareem/puzzle_solver · GitHub"
|