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