[ Источник: minisat2 ]
Пакет: minisat2 (1:2.2.1-5 и другие)
Ссылки для minisat2
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код minisat2:
Сопровождающий:
Внешние ресурсы:
- Сайт [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 | 1:2.2.1-5+b3 | 5,1 Кб | 13,0 Кб | [список файлов] |