[Bug] Moon-or-Sun gets multiple solutions in single symboled areas

T0nyX1ang / noqx

Extended logic puzzle solver of noq.

https://noqx.tonyxiang.site/

Apache License 2.0

5 stars 0 forks source link

[Bug] Moon-or-Sun gets multiple solutions in single symboled areas #80

Closed T0nyX1ang closed 1 week ago

T0nyX1ang commented 1 week ago

Please give the link to the puzzle which causes the bug:

Link: https://puzz.link/p?moonsun/36/20/j4i9h8gikma8oi9sq9i8jcjq9j9j4s59i9jcsq9qojssi9qlriciaqbreak5a9q6d3jidp69ijid94fijj594hiikk94uijna9khii9i94oj9mi9p6kklj556b4pj4t6ccpj44294p3c0gc18ge7jr3no0guoe49vj1bs0301gfbuvf1fge70fe5403rr02vvvaeabgadtogs0ft007g1q1gho0fqg7nfvo1fs4mu21c05no0ve3uqsecuekivsrgtfvg1t00u0001fof03rg69n3j35i96013j16filk3ajffofbm57a76862kbi26b69bc9c340kb6a6jk04k7475fqk9398klk3k153l693cg4743f6a7n8ca8j26nkp83k2745olk3ap333fc9j13k7oik08glfmkc3d3660cb2f776443n5a415bj73ih60iin3cb3j52nf14a5k6a3fd27gfbk53ba5b9938kacgl6jp88g1i6239a60c832aalaj8a

Please give expected behavior if possible:

Expected: Unique Solution
Output: Two solutions

T0nyX1ang commented 1 week ago

This issue can be fixed by including an extra rule here:

    extra = "area_pass_moon(A) :- area(A, R, C), moon(R, C), moon_sun(R, C).\n"
    extra += "area_pass_sun(A) :- area(A, R, C), sun(R, C), moon_sun(R, C).\n"
    extra += ":- area(A, _, _), not area_pass_moon(A), not area_pass_sun(A).\n"

Resolved with commit 6a4d649.