[ Paquet source : aspcud ]
Paquet : aspcud (1:1.9.4-2)
Liens pour aspcud
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source aspcud :
Responsable :
Ressources externes :
- Page d'accueil [www.cs.uni-potsdam.de]
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
|
|
|
|
-
- 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.14) [amd64]
- bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.17) [arm64]
- dep: libc6 (>= 2.4) [armhf, i386]
-
- dep: libgcc1 (>= 1:3.0) [non armhf]
- bibliothèque de prise en charge de GCC
- dep: libgcc1 (>= 1:3.5) [armhf]
-
- dep: libstdc++6 (>= 5.2)
- bibliothèque standard C++ de GNU v3
Télécharger aspcud
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
amd64 | 135,4 ko | 504,0 ko | [liste des fichiers] |
arm64 | 121,0 ko | 460,0 ko | [liste des fichiers] |
armhf | 116,4 ko | 347,0 ko | [liste des fichiers] |
i386 | 138,7 ko | 493,0 ko | [liste des fichiers] |