- 博客(6)
- 收藏
- 关注
原创 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
214
转载 NuSMV的安装与例子运行
http://blog.csdn.net/ashely_xie/article/details/65445179http://blog.csdn.net/yingzinanfei/article/details/54808663
2017-08-19 18:14:28
2006
转载 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
213
原创 SAT求解机之minisat&zchaff的安装与运行
minisat的下载安装与运行下载:http://minisat.se/ (在此之前先安装zlib.h 点击打开链接)安装:解压-打开终端,通过以下命令进行安装(此处为源代码安装须命令行执行,不同于Windows系统下直接安装)①export MROOT=<minisat dir> ##<minisat dir> 为m...
2017-08-09 21:20:56
4257
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人