#Sanko

有人写了个叫 Sanko 的求解器，把中国规则里的超级劫真算明白了，5x5 从 5 小时压到 16 分钟，还顺手解了 11 个没人解过的棋盘，代码全开源。