解数独，电脑无解，用的是微信数独游戏九宫格

因为电脑他不会用假设算法。所以没解出来。
除了假设，还有什么方法可以解？

构建真值表达式，大一大作业就是写数独求解软件