2020年3月29日
z3-solver安装和使用方法
摘要： Z3是一个微软研究院开源的theorem prover(定理证明器)，支持位向量、布尔、数组、浮点数、字符串以及其他数据类型。Z3是一个SMT solver以及支持SMTLIB的格式。 这里简单介绍几个概念： SAT(Boolean Satisfiability Problem/布尔可满足性问题) 阅读全文
posted @ 2020-03-29 14:48 pcat 阅读(12110) 评论(0) 推荐(0) 编辑
∨