[ aria ] [ bianca ]

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

Ссылки для cadical

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

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

Сайт [fmv.jku.at]

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

cadical: Simplified Satisfiability Solver
libcadical-dev: Simplified Satisfiability Solver (development files)

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

для сборки

build-depends-indep

adep: debhelper-compat (= 13)

Пакет недоступен
adep: help2man

Automatic manpage generator

Download cadical

Файл	Размер (в Кб)	Контрольная сумма MD5
cadical_1.5.3-2.debian.tar.xz	2,9 Кб	9f4fa648919db37e5d2158b7d62c9b93
cadical_1.5.3-2.dsc	1,9 Кб	c23fb818d2b9dfa72beaec98e90b98db
cadical_1.5.3.orig.tar.gz	582,4 Кб	8d75865354fbb90378f3011c928b9761

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