网上关于SAT简单入门的介绍
1.
基于QT实现的数独游戏DPLL的SAT求解器设计
基于sat的二进制数独游戏求解程序课程设计
https://download.csdn.net
2.
SAT and SMT
https://blog.csdn.net/qq_43683133
3.
SMT 求解器 Z3 C++ 学习笔记
https://blog.csdn.net/gghkkfg_/article/details/89493966