[ Zdroj: minisat2 ]
Balík: minisat2 (1:2.2.1-5 a iné)
Odkazy pre minisat2
Zdroje Debian:
Stiahnuť zdrojový balík minisat2:
Správca:
Externé zdroje:
- Domovská stránka [minisat.se]
Podobné balíky:
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
Balíky poskytujúce minisat2
- minisat
- rýchly a nenáročný riešiteľ SAT
Ostatné balíky súvisiace s balíkom minisat2
|
|
|
|
-
- dep: minisat
- rýchly a nenáročný riešiteľ SAT
Stiahnuť minisat2
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| amd64 | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| arm64 | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| armel | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| armhf | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| i386 | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| mips64el | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| mipsel | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| ppc64el | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |
| s390x | 1:2.2.1-5+b3 | 5.1 kB | 13.0 kB | [zoznam súborov] |