[ aria ] [ bianca ]

Paquet source : cadical (1.5.3-2)

Liens pour cadical

Responsables :

Ressources externes :

Page d'accueil [fmv.jku.at]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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

Autres paquets associés à cadical

build-depends

build-depends-indep

adep: debhelper-compat (= 13)

Paquet indisponible
adep: help2man

Automatic manpage generator

Download cadical

Fichier	Taille (en ko)	Somme MD5
cadical_1.5.3-2.debian.tar.xz	2,9 ko	9f4fa648919db37e5d2158b7d62c9b93
cadical_1.5.3-2.dsc	1,9 ko	c23fb818d2b9dfa72beaec98e90b98db
cadical_1.5.3.orig.tar.gz	582,4 ko	8d75865354fbb90378f3011c928b9761

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/science-team/cadical.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/science-team/cadical