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

侯喵喵

已于 2023-08-27 16:45:36 修改

阅读量783

点赞数 3

文章标签： linux ubuntu

于 2022-09-24 01:04:18 首次发布

本文链接：https://blog.youkuaiyun.com/m0_53820941/article/details/127020053

版权

这篇博客详细记录了如何在Ubuntu上下载、安装和使用MiniSat求解器。首先，通过命令行将MiniSat源码包放入指定目录，然后使用sudo su获取root权限进行安装。博主特别提醒注意路径正确性。安装完成后，介绍了如何编写CNF文件，并推荐了Vim编辑器的基本操作。尽管过程简单，但对于初学者来说，路径和编辑器的使用是关键点。博主分享了耗时5小时的学习经历，鼓励大家不要怕困难，会逐渐进步。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

纯小白

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的博客-优快云博客

写的太好了！！

就是注意一点：

4，使用

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

写的也太好了！！

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

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

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

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

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