源码包: minisat2 (1:2.2.1-5build1)
其他与 minisat2 有关的软件包
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: libz-dev
- 本虚包由这些包填实: zlib1g-dev
Download minisat2
文件 | 大小(单位: kB) | MD5 校验码 |
---|---|---|
minisat2_2.2.1-5build1.dsc | 1.9 kB | 061cf7618c2648f104b9e2134d62d169 |
minisat2_2.2.1.orig.tar.gz | 43.2 kB | 27faa19ee0508660bd6fb7f894646d42 |
minisat2_2.2.1-5build1.debian.tar.xz | 9.3 kB | 4a4d8b0bdb0bbb5c2719022ebc5ace3e |
- Debian 软件包源码仓库(VCS: Git)
- git://gitorious.org/minisat-debian/minisat2.git
- Debian 软件包源码仓库(可在线浏览)
- http://github.com/niklasso/minisat