Balík: minisat2 (1:2.2.1-5 a iné) [debports]
Odkazy pre minisat2
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
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 |
---|---|---|---|---|
riscv64 (neoficiálny port) | 1:2.2.1-5+b1 | 4.4 kB | 12.0 kB | [zoznam súborov] |