-
相关课程：
- 威斯康辛 CS703：[Github]
- UCSD CSE291：[Github]
- MIT Introduction to Program Synthesis：[Page]
- Automated Reasoning课程：[en]
-
Satisfiability Modulo Theories：[Paper]
-
Z3：最常见的SMT Solver：[Paper] [GitHub] [Tutorial]
- Z3-rise4fun：[Page]
- Z3 Playground：[Page]
- Z3 python API：[Page]
-
PySMT：可与多个SMT求解器进行交互的符号模型检验和约束求解的Python库：[Page]
-
程序修复：[Paper]
-
香蕉空间：