Paquet : gringo (5.6.2-2 et autres)

Liens pour gringo

Ressources Debian :

Télécharger le paquet source gringo :

Responsables :

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.

Étiquettes: Rôle: Programme

Autres paquets associés à gringo

dépendances

recommandations

suggestions

enhances

dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

bibliothèque de prise en charge fournissant des fonctions internes __atomic
dep: libc6 (>= 2.37) [sh4]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb

dep: libc6 (>= 2.38) [non alpha, ia64, sh4]
dep: libc6.1 (>= 2.26) [ia64]

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6.1-udeb

dep: libc6.1 (>= 2.34) [alpha]
dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

bibliothèque de prise en charge de GCC

dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

dep: libgcc-s1 (>= 3.5) [armel, armhf]

dep: libgcc-s1 (>= 4.2) [sh4]

dep: libgcc-s1 (>= 7) [i386]
dep: libgcc-s2 (>= 4.2.1) [m68k]

bibliothèque de prise en charge de GCC
dep: libgcc-s4 (>= 4.1.1) [hppa]

bibliothèque de prise en charge de GCC
dep: libgcc1 (>= 1:4.2) [ia64]

Paquet indisponible
dep: liblua5.3-0 [ia64]

interpréteur Lua version⋅5.3 –⋅bibliothèque partagée
dep: liblua5.4-0 (>= 5.4.6) [non ia64]

Shared library for the Lua interpreter version 5.4
dep: libpython2.7 (>= 2.7) [ia64]

Paquet indisponible
dep: libpython3.12t64 (>= 3.12.1) [sparc64]

Shared Python runtime library (version 3.12)
dep: libstdc 6 (>= 13.1) [non arm64, ia64]

bibliothèque standard C de GNU v3

dep: libstdc 6 (>= 14) [arm64]

dep: libstdc 6 (>= 7) [ia64]
dep: libunwind8 [ia64]

bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable
dep: python3 [sparc64]

langage orienté objet interactif de haut niveau – version par défaut de Python 3

dep: python3 (<< 3.13) [sparc64]

dep: python3 (>= 3.12~) [sparc64]
dep: python3-cffi [sparc64]

interface de fonctions étrangères pour Python 3 appelant du code C

rec: clasp

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

Télécharger gringo

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	5.6.2-2	1 755,8 ko	16 573,0 ko	[liste des fichiers]
amd64	5.6.2-2	1 839,8 ko	15 011,0 ko	[liste des fichiers]
arm64	5.6.2-2 b1	1 709,6 ko	15 012,0 ko	[liste des fichiers]
armel	5.6.2-2	1 553,6 ko	13 559,0 ko	[liste des fichiers]
armhf	5.6.2-2	1 573,7 ko	11 295,0 ko	[liste des fichiers]
hppa (portage non officiel)	5.6.2-2	1 860,2 ko	16 190,0 ko	[liste des fichiers]
i386	5.6.2-2	1 936,6 ko	15 319,0 ko	[liste des fichiers]
ia64 (portage non officiel)	5.2.2-2	2 640,4 ko	13 938,0 ko	[liste des fichiers]
m68k (portage non officiel)	5.6.2-2	1 787,6 ko	14 411,0 ko	[liste des fichiers]
mips64el	5.6.2-2	1 694,9 ko	17 428,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	5.6.2-2	1 891,0 ko	18 851,0 ko	[liste des fichiers]
ppc64el	5.6.2-2	1 920,6 ko	17 699,0 ko	[liste des fichiers]
riscv64	5.6.2-2	1 867,5 ko	13 153,0 ko	[liste des fichiers]
s390x	5.6.2-2	1 851,8 ko	16 017,0 ko	[liste des fichiers]
sh4 (portage non officiel)	5.6.2-2	2 034,3 ko	14 311,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	5.6.2-1 b2	1 628,6 ko	19 408,0 ko	[liste des fichiers]
x32 (portage non officiel)	5.6.2-2	1 846,4 ko	14 419,0 ko	[liste des fichiers]