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