- 博客(2)
- 资源 (12)
- 收藏
- 关注
原创 Sat Solver -- Minisat & Sat4j 使用报告
Sat Solver 使用报告 简介:MiniSAT是简约的求解器,开源的布尔可满足问题求解器。给SAT求解器一个逻辑命题,包含与或非逻辑符号以及若干布尔变量,SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。 下载:https://github.com/niklasso/minisat 编译: 1. exportMROOT=
2014-06-01 21:44:19 7686 1
原创 Findbugs、PMD、CheckStyle使用分析报告
一、 Findbugs 1. 安装版本 GUI和作为 Eclipse 插件 2. 安装方法 到官方网站下载最新版本FindBugs http://findbugs.sourceforge.net/downloads.html将 edu.umd.cs.findbugs.plugin.eclipse_1.3.9.20090821.zip下载后解压,然后把解压文件夹复制到 Ecl
2014-06-01 21:24:43 3137
MFC类库详解
2011-09-23
树状数组题目集
2011-09-23
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人