[ aria ] [ bianca ]

Pakiet źródłowy: cadical (1.5.3-2)

Odnośniki dla cadical

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [fmv.jku.at]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

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

Inne pakiety związane z cadical

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Pakiet niedostępny
adep: help2man

Automatic manpage generator

Download cadical

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
cadical_1.5.3-2.debian.tar.xz	2,9 KiB	9f4fa648919db37e5d2158b7d62c9b93
cadical_1.5.3-2.dsc	1,9 KiB	c23fb818d2b9dfa72beaec98e90b98db
cadical_1.5.3.orig.tar.gz	582,4 KiB	8d75865354fbb90378f3011c928b9761

Repozytorium kodu źródłowego Debiana (VCS: Git): https://salsa.debian.org/science-team/cadical.git
Repozytorium kodu źródłowego Debiana (do przeglądania): https://salsa.debian.org/science-team/cadical