[ bianca ]

Zdrojový balík: cadical (1.7.4-1)

Odkazy pre cadical

Správcovia:

Externé zdroje:

Domovská stránka [fmv.jku.at]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

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

Ostatné balíky súvisiace s balíkom cadical

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Balík nie je dostupný
adep: help2man

Automatic manpage generator

Download cadical

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
cadical_1.7.4-1.debian.tar.xz	3.9 kB	f7af75e422cbca71e4ba4c1a6b3822b0
cadical_1.7.4-1.dsc	1.9 kB	b8233ebeec086fd658ed8dac15bd24ed
cadical_1.7.4.orig.tar.gz	632.6 kB	519d7e4d1bec28efba490221bca6f318

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/science-team/cadical.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/science-team/cadical