mirror of
https://github.com/nganhkhoa/CTF-All-In-One.git
synced 2024-10-19 01:12:52 +07:00
7 lines
179 B
Markdown
7 lines
179 B
Markdown
# SAT/SMT
|
|
|
|
- [参考资料](#参考资料)
|
|
|
|
## 参考资料
|
|
- [Quick introduction into SAT/SMT solvers and symbolic execution](https://yurichev.com/writings/SAT_SMT_draft-EN.pdf)
|