说明: You need to have [Gradle](http://www.gradle.org/installation) and [Java](http://www.oracle.com/technetwork/java/javase/downloads/index.html) installed. Kafka requires Gradle 2.0 or higher. Java 7 should be used for building in order to support both <wutiantesi> 上传 | 大小:3mb
说明: MiniSat2.2 源代码包。SAT求解器。MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. <zhengyu9612> 上传 | 大小:73kb