Sudoku Players' Forum (clone)

I'm pretty sure that this sort of setup can never produce a unique puzzle without additional constraints (can probably prove it, even, though I haven't fleshed that out yet), but I came up with this silly proof of concept last week for a minimal (and aesthetically pleasing) constraint to make it work.

Code: Select all

..98....7.6..5..4.3....21..7....35...1..6..8...49....25....19...8..4..3...27....6
Thermo constraint: r5c3 is greater than r4c4

At the start, the PM is:

Code: Select all

   124       245       9         8         13        46        236       256       7         
   128       6         178       13        5         79        238       4         389       
   3         457       578       46        79        2         1         569       589       
   7         29        68        124       128       3         5         169       149       
   29        1         35        245       6         457       347       8         349       
   68        35        4         9         178       578       367       167       2         
   5         347       367       236       238       1         9         27        48       
   169       8         167       256       4         569       27        3         15       
   149       349       2         7         389       589       48        15        6         


And the thermo constraint amounts to setting r5c3=5 OR r4c4 ≠ 4

First trying to solve with r5c3=5 gives a trivial solution (with Singles):

Code: Select all

459816327
261357849
378492165
726183594
915264783
834975612
543621978
687549231
192738456


Trying to solve with r4c4≠4 also gives a trivial solution (with Singles):

Code: Select all

459816327
261357849
378492165
726183594
915264783
834975612
543621978
687549231
192738456


Miracle: the two solutions are the same.