minisat
文章平均质量分 53
Baoli1008
233
展开
-
CNF范式生成器 CNFgen 安装教程
Github主页:https://github.com/MassimoLauria/cnfgen 安装方法有以下几种: You can install CNFgen from Python Package Index, together with all its dependencies, typing either easy_install [--user] cnfgen原创 2015-08-09 23:40:28 · 2600 阅读 · 1 评论 -
minisat 安装指南
以下操作均需要在linux环境下执行。 首先到http://www.minisat.se/MiniSat.html下载minisat-2.2.0.tar.gz这个安装包,并解压缩,可以看到压缩包中有一个README,其中就包含了安装方法: 1.进入解压缩后的文件夹 2.export MROOT=文件夹所在路径 //这句的意义是声明一个环境变量保存文件夹路径,下面的make命令会调用这个原创 2015-07-23 23:07:52 · 5327 阅读 · 2 评论