ubuntu安装minisat_minisat 安装指南

以下操作均需要在linux环境下执行。

首先到http://www.minisat.se/MiniSat.html下载minisat-2.2.0.tar.gz这个安装包，并解压缩，可以看到压缩包中有一个README，其中就包含了安装方法：

1.进入解压缩后的文件夹

2.export MROOT=文件夹所在路径 //这句的意义是声明一个环境变量保存文件夹路径，下面的make命令会调用这个环境变量以完成安装

3.cd core 或 cd simp //两个版本的minisat，通常用第一个，即执行cd core

4.make rs //开始编译程序，按照文件夹中makefile的规定。makefile已写好无需改动。

5.cp minisat_static /usr/bin/minisat //上一步make之后生成了一个名为minisat_static的可执行程序，将其拷入/usr/bin/minisat 中，使该程序在任意路径下都可执行。

minisat所需实验数据可以从http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html下载，下载的数据文件需要将最后一行那个0删去才能正常调用。

如果要修改程序，可以直接在core或 simp中修改main文件，然后仍然按照那五步进行编译。

ubuntu安装minisat_minisat 安装指南相关推荐

acm的ubuntu (ubuntu16.04 安装指南,chrome安装,vim配置,git设置和github,装QQ)
日常手贱把ubuntu14.04更新到了16.04,然后就game over了.mdzz,不然泥萌也看不到这篇博客了=.= 然后花了些时间重装了一个16.04版的,原来那个14.04的用可以用,就是动 ...
本机安装PaddlePaddle - 安装指南
简介: 根据文档安装指南介绍了在本机安装PaddlePaddle的步骤. 关键词: PaddlePaddle,pip,安装 #mermaid-svg-RMWtzcncmslaS8dM {font ...
ubuntu 安装中文输入法（超简靠谱版）
ubuntu 安装中文输入法(超简靠谱版教程) 1.下载搜狗输入法的安装包(链接: link) 点击立即下载后,出现上述界面,由于我的系统是amd64的因此选择x86_64版本下载 2.添加中文语言 ...
amd64中Ubuntu安装使用全记录
年终于过完了,按照计划将使用1个月的Ubuntu安装使用记录做一个完整的总结.前面已经有一篇帖子记录安装方面的东西,这里主要记录软件安装和系统的使用.把这个东西写出来主要是希望国内能有更多人安装和使用 ...
Ubuntu安装MongoDB
https://jingyan.baidu.com/article/e5c39bf5f5ddd539d76033a9.html Ubuntu安装MongoDB4.0: https://www.jian ...
ubuntu安装OpenCV详细教程（建议收藏）
记录一篇"如何安装ubuntu下C++接口的opencv"的文章.由于转载格式有问题,直接贴个链接:ubuntu安装opencv的正确方法注意:本人根据此博客安装遇到的问题:2. ...
Linux/ubuntu 安装 redis 4.0报错解决：redis-server.service: Can't open PID file /var/run/redis/redis-server.
此文首发于我的个人博客:Linux/ubuntu 安装 redis 4.0报错解决:redis-server.service: Can't open PID file /var/run/redis/r ...
debian,ubuntu 安装mongodb 允许外网访问，修改端口，设置用户和密码
使用apt安装mongodb: apt update && apt install mongodb 查看运行状态: systemctl status mongodb.service 结 ...
ubuntu安装KVM
ubuntu安装KVM 现在官网下载ubuntu镜像,桌面版或者服务端都可,这里以桌面端为例. 安装之前确保磁盘有足够大的空间(这很重要) 安装KVM sudo apt install qemu-kv ...

ubuntu安装minisat_minisat 安装指南

ubuntu安装minisat_minisat 安装指南相关推荐

最新文章

热门文章