2020年5月20日
z3约束器学习笔记
摘要： 安装方法 pip install z3-solver 或者也可以去github https://github.com/Z3Prover/z3 使用方法 申明变量 一，申请 Int对象 语法 “ Int(name) ” name即对象名字 x = Int('x') 似乎只能进行加减乘除的约束 二，申请 阅读全文
posted @ 2020-05-20 16:24 Papayo 阅读(624) 评论(0) 推荐(0)