会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
刘峻韶
博客园
首页
新随笔
联系
订阅
管理
2019年1月6日
win10安装z3求解器
摘要: 因为课程要求,我不得不接触求解器,之前有在ubuntu上装过一个叫stp的求解器,没怎么用; 今天在我的电脑(win10)上上装了一款更方便的求解器 z3,下面先详细介绍一下怎么安装和配置: 1、到 https://github.com/Z3Prover/z3 下载z3-master,如下图: 2、
阅读全文
posted @ 2019-01-06 17:42 北梗
阅读(2408)
评论(0)
推荐(0)
编辑
公告