Paquet : gringo (5.4.1-3)
Liens pour gringo
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 gringo :
Responsables :
- Debian Science Maintainers (Page QA, Archive du courrier électronique)
- Thomas Krennwallner (Page QA)
Ressources externes :
- Page d'accueil [www.potassco.org]
Paquets similaires :
outils de « grounding » pour des programmes logiques (disjonctifs)
La solution actuelle fixe les solveurs pour œuvrer sur des programmes avec des variables libres. Par conséquent, un « grounder » (ancrage situationnel) est nécessaire, qui, un programme d’entrée étant indiqué avec des variables de premier ordre, calcule le programme « ground » équivalent (variables libres).
Ce paquet fournit les outils suivants :
– gringo : un grounder qui, un programme d’entrée étant indiqué avec des variables de premier ordre, calcule le programme « ground » équivalent (variables libres) au format aspif. Sa sortie peut être traitée plus tard avec clasp, un solveur « answer set » (programmation déclarative). À partir des séries cinq de gringo, la sortie de celui-ci n’est plus directement compatible avec les solveurs tels smodels ou cmodels lisant le format smodels. Lpconvert est à utiliser pour convertir le format aspif au format smodels ; – clingo : une combinaison de gringo et clasp dans un système monolithique. De cette façon, il propose plus de contrôle sur les traitements de grounding et de résolution que gringo et clasp peuvent proposer individuellement : la résolution à répétition ; – lpconvert : un convertisseur entre les formats aspif de gringo et smodels ; – reify : un petit utilitaire qui réifie les programmes logiques donnés au format aspif. Il produit un ensemble d’éléments pouvant être traités ultérieurement avec gringo.
Autres paquets associés à gringo
|
|
|
|
-
- dep: libc6 (>= 2.30)
- 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: liblua5.4-0 (>= 5.4.2)
- Shared library for the Lua interpreter version 5.4
-
- dep: libpython3.9 (>= 3.9.0~b4)
- Shared Python runtime library (version 3.9)
-
- dep: libstdc++6 (>= 9)
- bibliothèque standard C++ de GNU v3
-
- rec: clasp
- solveur d'ensemble de réponses par apprentissage nogood basé sur les conflits
Télécharger gringo
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
ppc64el | 1 856,7 ko | 12 611,0 ko | [liste des fichiers] |