[ bianca ]

Пакет-източник: minisat+ (1.0-5)

Връзки за minisat+

Отговорници:

Външни препратки:

Начална страница [minisat.se]

Следните двоични пакети са компилирани от този пакет-източник:

minisat+: solver for pseudo-Boolean constraints

Други пакети, свързани с minisat+

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

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

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/science-team/minisatp.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/science-team/minisatp