套件:minisat(1:2.2.1-5 以及其他的)
Fast and lightweight SAT solver
Despite the NP completeness of the satisfiability problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. Winning all the industrial categories of the SAT 2005 competition, MiniSat is a good starting point both for future research in SAT, and for applications using SAT.
其他與 minisat 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.17) [arm64, ppc64el]
- GNU C 函式庫:共用函式庫
同時作為一個虛擬套件由這些套件填實: libc6-udeb
- dep: libc6 (>= 2.4) [除 arm64, ppc64el]
-
- dep: libgcc1 (>= 1:3.0) [除 armel, armhf, mipsel]
- 套件暫時不可用
- dep: libgcc1 (>= 1:3.5) [armel, armhf]
- dep: libgcc1 (>= 1:4.2) [mipsel]
-
- dep: libstdc++6 (>= 5)
- GNU Standard C++ Library v3
-
- dep: zlib1g (>= 1:1.1.4)
- 壓縮函式庫 - 跑程式時用(runtime)
下載 minisat
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
amd64 | 1:2.2.1-5+b3 | 82。9 kB | 405。0 kB | [檔案列表] |
arm64 | 1:2.2.1-5+b3 | 80。0 kB | 403。0 kB | [檔案列表] |
armel | 1:2.2.1-5+b3 | 77。3 kB | 381。0 kB | [檔案列表] |
armhf | 1:2.2.1-5+b3 | 76。0 kB | 333。0 kB | [檔案列表] |
i386 | 1:2.2.1-5+b3 | 91。2 kB | 383。0 kB | [檔案列表] |
mips64el | 1:2.2.1-5+b3 | 88。8 kB | 462。0 kB | [檔案列表] |
mipsel | 1:2.2.1-5+b3 | 89。0 kB | 401。0 kB | [檔案列表] |
ppc64el | 1:2.2.1-5+b3 | 86。4 kB | 527。0 kB | [檔案列表] |
s390x | 1:2.2.1-5+b3 | 81。3 kB | 428。0 kB | [檔案列表] |