摘要: 心疼北邮第三第四的小可爱三秒 全队的wp,web手不记得是WM原题,已经被我埋了 逆向 z3 结合题目名称 和这一大坨方程式想到了Z3 不多BB z3 一把梭 val的值可以写个IDapython脚本提取出来 from z3 import * s=Solver() a1=[Int('a1[%d]'% 阅读全文
posted @ 2020-08-21 19:43 sharun 阅读(489) 评论(0) 推荐(1) 编辑