- 博客(1)
- 收藏
- 关注
翻译 z3学习笔记(python 3)
z3学习笔记(python 3)APIAPI文档1API文档2常用API1、创建约束求解器solver = Solver()2、添加约束条件(这一步是z3求解的关键)solver.add()3、判断解是否存在if(solver.check()==sat)4、求解print(solver.model())基础使用01声明x = Int('x') #声明整数x = Real('x') #声明实数x = Bool('x') #声明布尔类型a, b, c = Reals('a b
2021-10-20 23:42:38 5437 2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人