CTF-All-In-One/doc/5.8_sat-smt.md

# SAT/SMT

- [参考资料](#参考资料)

## 参考资料

- [Quick introduction into SAT/SMT solvers and symbolic execution](https://yurichev.com/writings/SAT_SMT_draft-EN.pdf)
- [Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101](http://deniable.org/reversing/symbolic-execution)
add 5.8; update 4.5 2017-11-25 15:45:09 +07:00			`# SAT/SMT`

			`- [参考资料](#参考资料)`

			`## 参考资料`
use markdownlint 2018-08-05 16:43:10 +07:00
add 5.8; update 4.5 2017-11-25 15:45:09 +07:00			`- [Quick introduction into SAT/SMT solvers and symbolic execution](https://yurichev.com/writings/SAT_SMT_draft-EN.pdf)`
fix 2018-05-22 14:21:13 +07:00			`- [Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101](http://deniable.org/reversing/symbolic-execution)`