[ bianca ]

Пакет исходного кода: minisat2 (1:2.2.1-8)

Ссылки для minisat2

Отслеживание заплат eLxr

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

Michael Tautschnig

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

Сайт [minisat.se]

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

minisat: Fast and lightweight SAT solver

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

для сборки

build-depends-indep

adep: debhelper-compat (= 13)

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

виртуальный пакет, предоставляемый zlib1g-dev

Download minisat2

Файл	Размер (в Кб)	Контрольная сумма MD5
minisat2_2.2.1-8.debian.tar.xz	9,6 Кб	262370b7be51773ccbedea58c59bd1df
minisat2_2.2.1-8.dsc	1,7 Кб	4e8a80b405ca661abadf8e06c5cfb075
minisat2_2.2.1.orig.tar.gz	43,2 Кб	27faa19ee0508660bd6fb7f894646d42