CTF-All-In-One
SAT/SMT
参考资料
参考资料
Quick introduction into SAT/SMT solvers and symbolic execution
Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101