GWCTF 02019 xxor https://firmianay.gitbooks.io/ctf-all-in-one/content/doc/5.8.1_z3.html 题目： https://www.cnblogs.com/hetianlab/p/13685260.html 上面的还是太没用了，还需要更仔细的学习才行？ https://microsoft.github.io/z3guide/programming/Z3%20Python%20-%20Readonly/Introduction z3 set option z3 solver 学习 z3 最优化求解