mirror of
git://git.tartarus.org/simon/puzzles.git
synced 2025-04-21 08:01:30 -07:00
Files
5eea14c6c3
Reproduced via 'groupsolver -v 5i:p1g4' (thanks to Arun Giridhar for the report). The Group-specific solver_hard() function ruled out a bunch of possibilities by deducing various things that couldn't be the group identity, but forgot to set done_something = true, so that it return 0 claiming it hadn't done anything. So latin_solver_top progressed to the next difficulty level and tried recursion. And latin_solver_recurse failed an assertion because it was surprised to find a cell with only one possibility - it expected that the _simple_ deductions would have ruled out any of those, which they would have if solver_hard() had returned >0, because the loop would have reset to the top and tried the easy deductions again after solver_hard() had given them something to work with.
This subdirectory contains puzzle implementations which are half-written, fundamentally flawed, or in other ways unready to be shipped as part of the polished Puzzles collection. The CMake build system will _build_ all of the source in this directory (to ensure it hasn't become unbuildable), but they won't be included in all-in-one puzzle binaries or installed by 'make install' targets. If you want to temporarily change that, you can reconfigure your build by defining the CMake variable PUZZLES_ENABLE_UNFINISHED. For example, cmake . -DPUZZLES_ENABLE_UNFINISHED="group;slide" will build as if both Group and Slide were fully official puzzles.