[ Zdroj: gringo ]
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.
Ostatné balíky súvisiace s balíkom gringo
|
|
|
|
-
- 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)
- podporná knižnica 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.2.0-12)
- štandardná knižnica C++ GNU v3
-
- rec: clasp
- učiaci sa riešiteľ sady odpovedí nogood riadený konfliktami
Stiahnuť gringo
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| arm64 | 5.4.1-3.1+b1 | 1,657.0 kB | 10,794.0 kB | [zoznam súborov] |