Paquet : gringo (5.4.1-3.1 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: 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: liblua5.4-0 (>= 5.4.4)

  Shared library for the Lua interpreter version 5.4

• dep: libpython3.11 (>= 3.11.0)

  Shared Python runtime library (version 3.11)

• dep: libstdc++6 (>= 12)

  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

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	5.4.1-3.1+b1	1 925,1 ko	12 714,0 ko	[liste des fichiers]