Pakiet: gringo (5.4.1-3.1 i inne)

Odnośniki dla gringo

Zasoby systemu Debian:

Pobieranie pakietu źródłowego gringo:

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.potassco.org]

Podobne pakiety:

Narzędzia uziemiające dla (rozłącznych) programów logicznych

Obecne rozwiązanie umożliwia solwerom pracę na programach uwolnionych od zmiennych. Dlatego potrzebny jest program uziemiający, który na podstawie programu wejściowego ze zmiennymi pierwszego rzędu obliczy równoważny program uziemiający (bez zmiennych).

Ten pakiet zawiera następujące narzędzia:

 - gringo: program uziemiający, który biorąc pod uwagę program wejściowy
   ze zmiennymi pierwszego rzędu, oblicza równoważny program uziemiający
   (wolny od zmiennych) w formacie aspif. Jego dane wyjściowe można
   później przetworzyć za pomocą clasp, solwera "zestawu odpowiedzi"
   (programowanie deklaratywne). Począwszy od piątej serii gringo, jego
   dane wyjściowe nie są już bezpośrednio kompatybilne z solwerami,
   takimi jak smodels lub cmodels odczytującymi format smodels. Aby
   wykonać konwersję z formatu aspif do formatu smodels należy użyć
   narzędzia lpconvert;
 - clingo: łączy w sobie gringo i clasp w monolityczny system.
   W ten sposób zapewnia większą kontrolę nad procesem uziemiania i
   przetwarzania rozdzielczości, niż gringo i clasp mogą zapewnić
   indywidualnie: powtarzalna rozdzielczość;
 - lpconvert: konwerter pomiędzy formatami aspif gringo i smodels;
 - reify: małe narzędzie reifikujące programy logiczne podane w
   formacie aspif. Tworzy zestaw elementów, który można poddać
   dalszej obróbce za pomocą gringo.

Znaczniki: Rola: Program

Inne pakiety związane z gringo

wymaga

poleca

sugeruje

enhances

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

Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic
dep: libc6 (>= 2.34)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libgcc-s1 (>= 3.0) [nie armel, armhf, i386, mipsel]

Biblioteka wspomagająca 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]

Standardowa biblioteka GNU C , wersja 3

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

rec: clasp

conflict-driven nogood learning answer set solver

Pobieranie gringo

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	5.4.1-3.1 b1	1 843,4 KiB	11 068,0 KiB	[lista plików]
arm64	5.4.1-3.1 b1	1 657,0 KiB	10 794,0 KiB	[lista plików]
armel	5.4.1-3.1 b1	1 508,0 KiB	10 249,0 KiB	[lista plików]
armhf	5.4.1-3.1 b1	1 572,2 KiB	8 905,0 KiB	[lista plików]
i386	5.4.1-3.1 b1	1 928,0 KiB	11 355,0 KiB	[lista plików]
mips64el	5.4.1-3.1 b1	1 680,8 KiB	12 709,0 KiB	[lista plików]
mipsel	5.4.1-3.1 b1	1 643,5 KiB	12 286,0 KiB	[lista plików]
ppc64el	5.4.1-3.1 b1	1 925,1 KiB	12 714,0 KiB	[lista plików]
s390x	5.4.1-3.1 b1	1 646,2 KiB	11 398,0 KiB	[lista plików]