- 博客(2)
- 收藏
- 关注
RSS订阅原创 ccf会议和期刊目录 （2019 年）
中国计算机学会推荐国际学术期刊 （软件工程/系统软件/程序设计语言）一、A 类序号刊物简称刊物全称出版社网址1TOPLASACM Transactions on Programming Languages & SystemsACMhttp://dblp.uni-trier.de/db/journals/toplas/2TOSEMACM Transactions on Software Engineering and MethodologyACMht
2020-11-06 11:06:27
1423
转载 Z3 SMT Solver安装环境配置
因为课程要求，我不得不接触求解器，之前有在ubuntu上装过一个叫stp的求解器，没怎么用；今天在我的电脑（win10）上上装了一款更方便的求解器—z3，下面先详细介绍一下怎么安装和配置：1、到 https://github.com/Z3Prover/z3 下载z3-master，如下图：2、到 https://www.visualstudio.com/zh-hans/ 下载vs2017，...
2019-11-07 21:37:32
1267
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人