Beispiele

Gelb markierte Felder entsprechen den Vorgaben. Die Software automatisiert die Berechnungsschritte 1 & 2 nach jeder Anwendung einer der Auswertungsregeln. Diese werden durch die 3 Buttons:
"Zellen" berechnet die Möglichkeiten anhand der Zugehörigkeit zu den Bereichen, "Einzeln" sucht nach Einzelwerten in den Bereichen & "Dop2er" sucht nach 2-fach auftretenden 2er-Kombinationen.

Treten dabei Einzelwerte auf (mit roten Pfeilen markiert), so werden diese eingetragen und fest markiert (blau).
 

Im Anschluss daran werden alle Bereichswerte aktualisiert.
Dies kann beliebig wiederholt werden (auch in Kombination mit den anderen Auswertungsregeln). Dabei kann man den Fortschritt detailliert verfolgen, immer mehr Felder werden mit festen Werten gefüllt, bis im Idealfall das ganze Feld feststeht.
Natürlich kann es vorkommen, dass ein weiterer Fortschritt ausbleibt. Dies ist immer dann der Fall, wenn keine der Regeln mehr eine eindeutige Zuordung zu einer Zelle treffen kann.

Dann muss der Mensch eine Entscheidung treffen. Diese Möglichkeiten und der generelle Aufbau der Software sind hier beschrieben.