一个用于求解杀手数独的程序,Python编写,版本为3.6.3,带源码