- 博客(1)
- 收藏
- 关注
原创 z3-solver 简单方法遍历多解
使用条件列表解决多解问题while(s.check()==sat): condition = [] m = s.model() p="" for i in range(32): p+=chr(int("%s" % (m[flag[i]]))) condition.append(flag[i]!=int("%s" % (m[flag[i]]))) print(p) s.add(Or(condition))...
2020-06-30 22:00:18 2516 3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人