[ bianca ]

Пакет исходного кода: minisat+ (1.0-5)

Ссылки для minisat+

Сопровождающие:

Внешние ресурсы:

Сайт [minisat.se]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

minisat+: solver for pseudo-Boolean constraints

Другие пакеты, относящиеся к minisat+

для сборки

build-depends-indep

adep: debhelper-compat (= 13)

Пакет недоступен
adep: libgmp-dev

Multiprecision arithmetic library developers tools
adep: zlib1g-dev

compression library - development

Download minisat+

Файл	Размер (в Кб)	Контрольная сумма MD5
minisat+_1.0-5.debian.tar.xz	4,3 Кб	822198fb8a890c6b9a64ad20a0c4aa4c
minisat+_1.0-5.dsc	1,9 Кб	904dc8f8101802956b42dda283c72e10
minisat+_1.0.orig.tar.gz	78,1 Кб	a5910ef8bea269632eff74b54f07010d

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/science-team/minisatp.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/science-team/minisatp