彭思浩

Results 2 comments of 彭思浩

同错误,大家知道可以怎么减少子问题的产生吗

![Image](https://github.com/user-attachments/assets/fe5faeaa-b88c-43a6-93f8-316baae2ead3) ![Image](https://github.com/user-attachments/assets/9094da18-588e-4905-9351-1e2240b98005) ![Image](https://github.com/user-attachments/assets/3029f90a-b21c-49d0-8e50-436c31331811) 根据得到的hop已经能得到答案了,但是程序还在搜索,知道报错,在输出maxClauseCount is set to 1024之前会输出正确答案