求解器
cute。
仅记录自己学过的东西,方便复习
展开
-
SMT约束求解器Z3——java绑定
Z3是由微软公司开发的一个优秀的SMT求解器(也就定理证明器),它能够检查逻辑表达式的可满足性。1.下载准备必要的组件:下载对应版本的Z3 编译文件,版本下载链接https://github.com/z3prover/z3/releases2.解压缩3.项目导入在Java项目中新建一个libs文件夹(如果没有的话),将z3\bin目录下的com.microsoft.z3....原创 2019-05-17 19:28:38 · 3136 阅读 · 0 评论 -
Drools
这个没啥写的,附一个网址非常全面。下载需要翻墙。拉倒吧,下载的时候需要注意版本。原创 2019-05-17 20:22:35 · 68 阅读 · 0 评论