Balík: gringo (5.4.1-3.1 a iné)

Odkazy pre gringo

Zdroje Debian:

Stiahnuť zdrojový balík gringo:

Správcovia:

Externé zdroje:

Domovská stránka [www.potassco.org]

Podobné balíky:

nástroje na uzemnenie programov (disjunktnej) logiky

Súčasní riešitelia množín odpovedí fungujú na programoch bez premenných. Preto je potrebné uzemnenie, ktorý zo zadaného vstupného programu s premennými prvého rádu vypočíta ekvivalentný uzemnený (bez premenných) program.

Tento balík obsahuje nasledovné nástroje:

 * gringo: Uzemňovač, ktorý zo zadaného vstupného programu s premennými
   prvého rádu vypočíta ekvivalentný uzemnený (bez premenných) program
   vo formáte aspif. Jeho výstup je možné ďalej spracovávať riešiteľom
   množín odpovedí clasp. Počínajúc gringo series 5 jeho výstup už nie je
   priamo kompatibilný s riešiteľmi ako sú smodels alebo cmodels, ktoré
   čítajú formát smodels. Na preloženie formátu aspif do formátu smodels
   použite lpconvert.
 * clingo: Kombinuje gringo a clasp do monolitického systému. Tak ponúka
   väčšiu kontrolu nad uzemňovaním a riešením než ponúkajú gringo a clasp
   samostatne.
 * lpconvert: Konvertor medzi formátom gringo aspif a smodels.
 * reify: Malý nástroj, ktorý zvecňuje logické programy zadané vo formáte
   aspif. Vytvára množinu faktov, ktoré je možné ďalej spracovávať pomocou
   gringo.

Značky: Role: Program

Ostatné balíky súvisiace s balíkom gringo

závisí

odporúča

navrhuje

vylepšuje

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

pomocná knižnica poskytujúca zabudované funkcie __atomic
dep: libc6 (>= 2.34)

knižnica GNU C - zdieľané knižnice
tiež virtuálny balík poskytovaný balíkom libc6-udeb
dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, mipsel]

podporná knižnica GCC

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

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

dep: libgcc-s1 (>= 7) [i386]
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) [armel, ppc64el]

štandardná knižnica C++ GNU v3

dep: libstdc++6 (>= 12.2.0-12) [nie armel, ppc64el]

rec: clasp

učiaci sa riešiteľ sady odpovedí nogood riadený konfliktami

Stiahnuť gringo

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	5.4.1-3.1+b1	1,843.4 kB	11,068.0 kB	[zoznam súborov]
arm64	5.4.1-3.1+b1	1,657.0 kB	10,794.0 kB	[zoznam súborov]
armel	5.4.1-3.1+b1	1,508.0 kB	10,249.0 kB	[zoznam súborov]
armhf	5.4.1-3.1+b1	1,572.2 kB	8,905.0 kB	[zoznam súborov]
i386	5.4.1-3.1+b1	1,928.0 kB	11,355.0 kB	[zoznam súborov]
mips64el	5.4.1-3.1+b1	1,680.8 kB	12,709.0 kB	[zoznam súborov]
mipsel	5.4.1-3.1+b1	1,643.5 kB	12,286.0 kB	[zoznam súborov]
ppc64el	5.4.1-3.1+b1	1,925.1 kB	12,714.0 kB	[zoznam súborov]
s390x	5.4.1-3.1+b1	1,646.2 kB	11,398.0 kB	[zoznam súborov]