[ Източник: minisat2 ]
Пакет: minisat2 (1:2.2.1-5build1)
Връзки за minisat2
Ресурси за Trisquel:
Изтегляне на пакет-източник minisat2.
Отговорник:
Original Maintainer:
- Michael Tautschnig
Външни препратки:
- Начална страница [minisat.se]
Подобни пакети:
Transitional package for minisat
This is a transitional package for minisat, and can be safely removed after the installation is complete.
Пакети, предлагащи minisat2
- minisat
- Fast and lightweight SAT solver
Други пакети, свързани с minisat2
|
|
|
-
- dep: minisat
- Fast and lightweight SAT solver
Изтегляне на minisat2
Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
---|---|---|---|
amd64 | 2,0 кБ | 12 кБ | [списък на файловете] |
i386 | 2,0 кБ | 12 кБ | [списък на файловете] |