Paquet : gringo (5.6.2-2 et autres)

[ Paquet source : gringo  ]

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

• 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]