[ Zdroj: minisat2 ]
Balík: minisat2 (1:2.2.1-5build1)
Odkazy pre minisat2
Zdroje Trisquel:
Stiahnuť zdrojový balík minisat2:
Správca:
Original Maintainer:
- Michael Tautschnig
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
- Fast and lightweight SAT solver
Ostatné balíky súvisiace s balíkom minisat2
|
|
|
-
- dep: minisat
- Fast and lightweight SAT solver
Stiahnuť minisat2
Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|
amd64 | 2.0 kB | 12 kB | [zoznam súborov] |
i386 | 2.0 kB | 12 kB | [zoznam súborov] |