Closed jeremypw closed 6 years ago
Investigation of the quoted puzzle revealed one solver bug (now fixed) causing it to miss an inference - but the puzzle still required multi-region logic. I could not solve puzzle manually either using only single region region from the point at which the solver gave up so I think maybe the previous success may have been due to a fortunate mistake.
This puzzle (needed to be changed to .txt to upload): maribou.txt
could be solved manually without advanced logic (looking at more than one row/col at a time) but autosolver used advanced logic.
NB This could be due to "accidental" correct completion of cell during manual solving, but should be investigated.