2021年11月25日
（课内）信安数基lab3
摘要： 过于简单，题目懒得放了。 不过，借此机会我终于搞明白怎么把使用Z3的输出了（过菜，勿喷） 先看一看这个： 我们可以看出，Z3声明的变量是ArithRef类型； 它好像没有什么好用的类型转化方法，python也很难将其作为变量继续调用。 solve的结果是直接输出的，其没有返回值，使用solve获得的 阅读全文
posted @ 2021-11-25 23:46 hiddener 阅读(129) 评论(0) 推荐(0) 编辑