[ bianca ]

Пакет исходного кода: picosat (965-2)

Ссылки для picosat

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

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

Сайт [fmv.jku.at]

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

picosat: SAT solver with proof and core support

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

для сборки

build-depends-indep

adep: debhelper-compat (= 12)

Пакет недоступен
adep: dh-exec

Scripts to help with executable debhelper files

Download picosat

Файл	Размер (в Кб)	Контрольная сумма MD5
picosat_965-2.debian.tar.xz	6,2 Кб	32b6d30566f2e455794f6355b0e8540a
picosat_965-2.dsc	1,9 Кб	eaabbfd06273f9bdf634bc8ab5c4e47e
picosat_965.orig.tar.gz	62,9 Кб	d37c236d5c60b03d888d137c2fa4285f

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