Bram-Hub / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
GNU General Public License v3.0
29 stars 78 forks source link

[BUG] Finish Room case Rule in Nurikabe #819

Closed Bram28 closed 2 months ago

Bram28 commented 3 months ago

Description

Finish Room case Rule in Nurikabe creates unmodifiable square that should be modifiable.

Steps to Reproduce

I assume bug is not specific to this specific puzzle, but take:

Puzzle Nurikabe 10x10 Hard:

image

Do basic rule:

image

And now apply Finish Room on square with 2, so you get 2 branches:

image

In this (bottom) branch you can surround the finished 2 room:

image

But in the other (top) branch, the square that was white in the bottom branch is not modifiable when you try to surround the finished room:

image

But that square should be modifiable.

So it's interesting that in the bottom branch we do get the right functionality, but not in the top branch we don't

Expected Behavior

Indicated unmodifiable square in example above should be modifiable.

Screenshots

No response

Puzzle Files

No response

Additional Context

No response