minisat 安装指南
来源:互联网 发布:学校宿舍网络设计 编辑:程序博客网 时间:2024/05/22 12:54
以下操作均需要在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文件,然后仍然按照那五步进行编译。
1 0
- minisat 安装指南
- SAT求解机之minisat&zchaff的安装与运行
- Sat Solver -- Minisat & Sat4j 使用报告
- PF_RING开发指南 安装指南
- Hadoop安装指南 / Hive安装指南
- Clearcase2003安装指南
- Mono安装指南
- Sybase ASE 安装指南
- Apache完全安装指南
- ejbca安装指南
- AppFuse安装指南
- Eclipse安装指南
- Mono安装指南
- SkinEngine控件安装指南
- Maven安装全程指南
- 安装测试指南
- 安装ACDSee 7指南
- proftp1.2.10 安装指南
- Implement strStr()
- 精通Hibernate——Hibernate核心接口
- iOS编程:学习篇(八)
- CSS 之float
- 股票学习(技术04)
- minisat 安装指南
- *HDU 5305 - Friends (DFS + 剪枝)
- Objective-C学习笔记(十七)——成员变量和属性详解
- SUSE Linux源码编译安装MySQL 5.6
- RPC框架研究(二)Hadoop源码-1
- HDU 4029 Distinct Sub-matrix 后缀数组 + Hash 2011年上海网络赛I题
- HDU 5294 Tricks Device 2015 Multi-University Training Contest 1 07
- PHP 安全编程建议
- CCF 窗口 Java实现