[ 原始碼: minisat2 ]
套件:minisat2(1:2.2.1-5 以及其他的)
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
負責填實 minisat2 的套件
- minisat
- Fast and lightweight SAT solver
下載 minisat2
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
amd64 | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
arm64 | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
armel | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
armhf | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
i386 | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
mips64el | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
mipsel | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
ppc64el | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |
s390x | 1:2.2.1-5+b3 | 5。1 kB | 13。0 kB | [檔案列表] |