Paquet : gringo (5.4.1-3ubuntu3)

Liens pour gringo

Ressources Trisquel :

Télécharger le paquet source gringo :

Responsable :

Ubuntu Developers (Archive du courrier électronique)

Original Maintainers:

Debian Science Maintainers (Archive du courrier électronique)
Thomas Krennwallner

Ressources externes :

Page d'accueil [www.potassco.org]

Paquets similaires :

grounding tools for (disjunctive) logic programs

Current answer set solvers work on variable-free programs. Hence, a grounder is needed that, given an input program with first-order variables, computes an equivalent ground (variable-free) program.

This package contains the following tools:

 - gringo: a grounder that, given an input program with first-order
   variables, computes an equivalent ground (variable-free) program in
   aspif format. Its output can be processed further with answer set
   solver clasp. Starting with gringo series 5, its output is no longer
   directly compatible with solvers like smodels or cmodels reading
   smodels format. Use lpconvert for translating aspif format to
   smodels format.
 - clingo: combines both gringo and clasp into a monolithic system.
   This way it offers more control over the grounding and solving
   process than gringo and clasp can offer individually: multi-shot
   solving.
 - lpconvert: converter between gringo's aspif and smodels format.
 - reify: small utility that reifies logic programs given in aspif
   format. It produces a set of facts, which can be processed further
   with gringo.

Autres paquets associés à gringo

dépendances

recommandations

suggestions

dep: libc6 (>= 2.34)

GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
dep: libgcc-s1 (>= 3.0) [non armhf]

GCC support library

dep: libgcc-s1 (>= 3.5) [armhf]
dep: liblua5.4-0 (>= 5.4.3)

Shared library for the Lua interpreter version 5.4
dep: libpython3.10 (>= 3.10.0)

Shared Python runtime library (version 3.10)
dep: libstdc++6 (>= 9)

GNU Standard C++ Library v3

rec: clasp

conflict-driven nogood learning answer set solver

Télécharger gringo

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	2 060,9 ko	11186 ko	[liste des fichiers]
arm64	1 955,6 ko	10724 ko	[liste des fichiers]
armhf	1 820,4 ko	8700 ko	[liste des fichiers]
ppc64el	2 160,7 ko	12548 ko	[liste des fichiers]

Sections