Paquet : aspcud (1:1.9.6-2)

Liens pour aspcud

Ressources Debian :

Télécharger le paquet source aspcud :

Responsable :

Ralf Treinen (Page QA)

Ressources externes :

Page d'accueil [potassco.org]

Paquets similaires :

résolveur CUDF basé sur la programmation par ensembles-réponses

Aspcud est un résolveur expérimental de dépendances de paquets. Un univers de paquet et une requête d'installation, de suppression ou de mise à jour de paquets doivent être encodés au format CUDF.

Autres paquets associés à aspcud

dépendances

recommandations

suggestions

enhances

dep: clasp (<< 4)

solveur d'ensemble de réponses par apprentissage nogood basé sur les conflits

dep: clasp (>= 3.0.0)
dep: gringo (>= 4.2.1)

outils de « grounding » pour des programmes logiques (disjonctifs)
dep: libc6 (>= 2.34)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0)

bibliothèque de prise en charge de GCC
dep: libstdc++6 (>= 11)

bibliothèque standard C++ de GNU v3

Télécharger aspcud

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	126,8 ko	510,0 ko	[liste des fichiers]