ubuntu源码方式安装minisat及其使用

纯小白

1.minisat官网下载压缩包

MiniSat Page

 2，下载好解压之后放到ubuntu /usr/local/src中

 注意这一步的操作，需要借助命令行，权限不够就sudo su,然后输入密码（密码看不见）。可能用到的命令： 

cd .. #上级目录
cd .  #当前目录
cd /  #根目录
mkdir a/b/c #在路径a/b下创建文件夹c
mv d.xx d/e/f #将当前路径下的d.xx文件移动到d/e/f路径下
sudo su  #root权限
exit  #退出root权限

 3，正片：安装

(101条消息) 安装minisat_F~C~H的博客-CSDN博客

 写的太好了！！

就是注意一点：

 4，使用

(101条消息) Minisat的基本使用方法_shang_ch的博客-CSDN博客_minisat

写的也太好了！！

唯一需要注意的一点：怎么写cnf文件

vim a/b/xxx.cnf  #在a/b路径下写一个xxx.cnf文件

 关于vim的操作：Linux Vim编辑器的基本使用__HsForPyp的博客-CSDN博客_vim编辑器

用到的其实只有：i 输入   esc退出输入模式       ：wq保存退出(x要先打一个冒号）

5，耗时5小时，，，，这么简单的东东就因为路径没填对，，，，，，关键是刚开始接触linux，加油！！总有一天不会辣么菜的