使用z3约束求解器解决简单的与或非运算（java）

【文件属性】：

文件名称：使用z3约束求解器解决简单的与或非运算（java）

文件大小：3KB

文件格式：ZIP

更新时间：2022-10-06 22:49:14

java z3约束求解器

内容概要： z3utils包含一个数据VO、一个utils和一个使用test。 z3utils类可以求解简单的与或非约束，例如：a>0||b

【文件预览】：
z3util
----z3utils.java(12KB)
----ListVO.java(216B)
----z3utilTest.java(934B)