2023年2月19日
学习
摘要： 经过多次尝试，成功打包 -i 或 -icon 生成icon -F 创建一个绑定的可执行文件 -w 使用窗口，无控制台 -C 使用控制台，无窗口 -D 创建一个包含可执行文件的单文件夹包(默认情况下) -n 文件名 stream wp 阅读全文
posted @ 2023-02-19 21:33 kayoki 阅读(17) 评论(0) 推荐(0)
近期
摘要： python z3库学习 常用API https://i.postimg.cc/zf8TgQfj/image.png 1、创建约束求解器 solver = Solver() 2、添加约束条件（这一步是z3求解的关键） solver.add() 3、判断解是否存在 if(solver.check()= 阅读全文
posted @ 2023-02-19 20:53 kayoki 阅读(128) 评论(0) 推荐(0)