After basics
- Code: Select all
 .--------------------------------------------------------------------.
| 8      3      5      | 7      9      1      | 246    46     246    |
| 2      6      4      | 35     38     58     | 9      7      1      |
| 79     1      79     | 2      4      6      | 8      5      3      |
|----------------------+----------------------+----------------------|
| 3      5      169    | 49    b67    c79     | 146    2      8      |
| 469    479    8      | 459    1      2      | 3      469    4567   |
| 1469   479    2      | 8      56     3      | 1456   469    4567   |
|----------------------+----------------------+----------------------|
| 1579   8      179    | 6     a7-25   4      | 25     3      259    |
| 4569   49     3      | 1     d25    d59     | 7      8      24569  |
| 45679  2      679    | 359    38     5789   | 456    1      4569   |
'--------------------------------------------------------------------'
1. (7)r7c5 = (7)r4c5 - (7=9)r4c6 - (9=25)r8c56 => -25 r7c5 [13 placements and NP elimination]
----
- Code: Select all
 .--------------------------------------------------.
| 8    3    5    | 7    9    1    | 246  46   24   |
| 2    6    4    | 35   38   58   | 9    7    1    |
| 9    1    7    | 2    4    6    | 8    5    3    |
|----------------+----------------+----------------|
| 3    5   *19   | 49   6    7    |*14   2    8    |
| 46   7    8    | 49   1    2    | 3    469  5    |
| 146 *49   2    | 8    5    3    | 16-4 69-4 7    |
|----------------+----------------+----------------|
| 15   8    19   | 6    7    4    | 25   3    29   |
| 45   49   3    | 1    2    59   | 7    8    6    |
| 7    2    6    | 35   38   589  | 45   1    49   |
'--------------------------------------------------'
2. Y-wing (4=9)r6c2 - (9=14)r4c37 => -4 r6c78 [LC and 1 placement]
-----
- Code: Select all
 .----------------------------------------------------.
| 8    3    5   | 7     9     1    |a(4)26* 46   24  |
| 2    6    4   | 35    38    58   |  9     7    1   |
| 9    1    7   | 2     4     6    |  8     5    3   |
|---------------+------------------+-----------------|
| 3    5    19  | 49    6     7    |  1-4   2    8   |
| 6    7    8   | 49    1     2    |  3     49   5   |
| 14   49   2   | 8     5     3    |  16    69   7   |
|---------------+------------------+-----------------|
| 15   8    19  | 6     7     4    |  25    3    29  |
| 45   49   3   | 1     2     59   |  7     8    6   |
| 7    2    6   | 35    38  b(5)89*| c45    1    49  |
'----------------------------------------------------'
3. BUG+2: (4)r1c7 == (5)r9c6 - (5=4)r9c7 => -4 r4c7; ste