Пакет исходного кода: picosat (960-1)
Ссылки для picosat
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Сопровождающий:
Внешние ресурсы:
- Сайт [fmv.jku.at]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- picosat
- SAT solver with proof and core support
Другие пакеты, относящиеся к picosat
|
|
-
- adep: debhelper (>= 7.0.50~)
- вспомогательные программы для debian/rules
Download picosat
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| picosat_960-1.dsc | 1,7 Кб | 525c9c8d824a2e61b366ae28ef4b4a6e |
| picosat_960.orig.tar.gz | 61,8 Кб | bee515cd9fd12ffaffab10b3587aa833 |
| picosat_960-1.debian.tar.xz | 6,0 Кб | 319a15a4277a2f91cca97d1e4b44e812 |