苏多索 sudosol是仅使用人工技术的数独求解器。 当前,sudosol实现了Simple Sudoku程序(Simple Sudoku技术集,ssts)中的技术。 这些技术是: 裸露和隐藏的单,双,三和四, 被锁定的候选人(指出和声明), X翼和箭鱼 XY翼 简单着色和多种着色。 正在实现更多技术,这些技术等效于简单数独技术,或者超出了简单数独技术。 目前,他们是: 锁定对和三重,大菱形鱼,摩天大楼,2串风筝,空矩形, 水母,鳍和刺身X翼,鳍和刺身箭鱼,鳍和刺身水母,XYZ翼,W翼,X链,XY链,BUG + 1,唯一性测试1,2,3,4,5和6,隐藏矩形,可避免矩形类型1和2,Sue de Coq。 测试确保正确处理了每种技术。 sudosol需要python> = 3.6。