נראה לי ש..
..תוכנה כזו צריכה לכלול תוכנת עזר לפתרון סודוקו כדי לבדוק שלתשבץ יש פתרון ורק אחד. ללא תוכנת עזר זו איך היא תדע אם וכמה פתרונות יש? לחילופין אם התוכנה תיקח תשבץ פתור ותתחיל להוריד ממנו מספרים- כיצד היא תוכל לדעת שהורדת מספר מסויים לא תגרום לריבוי פתרונות ללא תוכנת עזר לפתרון?