Pakiet: minisat2 (1:2.2.1-5 i inne) [debports]
Odnośniki dla minisat2
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [minisat.se]
Podobne pakiety:
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
Pakiety udostępniające minisat2
- minisat
- Fast and lightweight SAT solver
Inne pakiety związane z minisat2
|
|
|
|
-
- dep: minisat
- Fast and lightweight SAT solver
Pobieranie minisat2
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
riscv64 (port nieoficjalny) | 1:2.2.1-5+b1 | 4,4 KiB | 12,0 KiB | [lista plików] |