- 博客(6)
- 收藏
- 关注
RSS订阅原创 linux eclipse安装及配置
1.安装jdk:官网下载相应版本即可 jdk,eclipse都安装到opt/jvm 下载：http://www.oracle.com/technetwork/java/javase/downloads/jdk10-downloads-4416644.html 安装：https://blog.csdn.net/itxiaolong3/article/details/77691245 注意...
2018-04-09 10:27:49
195
转载 NuSMV的安装与例子运行
http://blog.csdn.net/ashely_xie/article/details/65445179 http://blog.csdn.net/yingzinanfei/article/details/54808663
2017-08-19 18:14:28
1970
转载 configure、make、make install、make clean
./configure,make,make install的作用 [日期：2011-02-12] 来源：Linux社区 作者：Linux [字体：大 中 小] 这些都是典型的使用GNU的AUTOCONF和AUTOMAKE产生的程序的安装步骤。 ./configure是用来检测你的安装平台的目标特征的。比如它会检测你是不是有CC或G
2017-08-13 21:27:02
196
原创 SAT求解机之minisat&zchaff的安装与运行
minisat的下载安装与运行下载：http://minisat.se/ (在此之前先安装zlib.h 点击打开链接)安装：解压-打开终端，通过以下命令进行安装（此处为源代码安装须命令行执行，不同于Windows系统下直接安装）①export MROOT=<minisat dir> ##<minisat dir> 为m...
2017-08-09 21:20:56
4179
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人