- 博客(2)
- 资源 (12)
- 收藏
- 关注
RSS订阅原创 Sat Solver -- Minisat & Sat4j 使用报告
Sat Solver 使用报告简介：MiniSAT是简约的求解器，开源的布尔可满足问题求解器。给SAT求解器一个逻辑命题，包含与或非逻辑符号以及若干布尔变量，SAT求解器根据这个表达式判定该逻辑命题是否可满足从而决定该命题是否成立。 下载：https://github.com/niklasso/minisat 编译：1. exportMROOT=
2014-06-01 21:44:19
7571
1
原创 Findbugs、PMD、CheckStyle使用分析报告
一、 Findbugs1. 安装版本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
3099
MFC类库详解
本书目录 · 层次结构图 直观的描述MFC中各类的关系。
· MFC类 详细解说MFC库中的每个类和头文件信息。
· MFC宏和全局 详细解说MFC库中的每个宏、全局函数、全局变量。
· 结构、风格、回调函数和消息映射 详细解说MFC库中的各个结构、风格、回调函数和消息映射。
2011-09-23
树状数组题目集
其实学树状数组说白了就是看那张图，那张树状数组和一般数组的关系的，看懂了基本就没问题了，推荐下面这个教程：http://www.topcoder.com/tc?module=Static&d1=tutorials&d2=binaryIndexedTrees
2011-09-23
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人