Пакет: minisat2 (1:2.2.1-5 и другие) [debports]
Ссылки для minisat2
Ресурсы Debian:
Исходный код :
Не найденСопровождающие:
Внешние ресурсы:
- Сайт [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
Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
---|---|---|---|---|
riscv64 (неофициальный перенос) | 1:2.2.1-5+b1 | 4,4 Кб | 12,0 Кб | [список файлов] |