Pakiet: gringo (5.6.2-2 i inne)

[ Pakiet źródłowy: gringo  ]

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

• dep: libatomic1 (>= 4.8) [armel, m68k, sh4]

  Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic

• dep: libc6 (>= 2.37) [sh4]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

  dep: libc6 (>= 2.38) [nie alpha, ia64, sh4]

• dep: libc6.1 (>= 2.26) [ia64]

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6.1-udeb

  dep: libc6.1 (>= 2.34) [alpha]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  Biblioteka wspomagająca GCC

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sparc64]

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

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

  dep: libgcc-s1 (>= 7) [i386]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  Biblioteka wspomagająca GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  Biblioteka wspomagająca GCC

• dep: libgcc1 (>= 1:4.2) [ia64]

  Pakiet niedostępny

• dep: liblua5.3-0 [ia64]

  Shared library for the Lua interpreter version 5.3

• dep: liblua5.4-0 (>= 5.4.6) [nie ia64]

  Shared library for the Lua interpreter version 5.4

• dep: libpython2.7 (>= 2.7) [ia64]

  Pakiet niedostępny

• dep: libpython3.12t64 (>= 3.12.1) [sparc64]

  Shared Python runtime library (version 3.12)

• dep: libstdc++6 (>= 13.1) [nie arm64, ia64]

  Standardowa biblioteka GNU C++, wersja 3

  dep: libstdc++6 (>= 14) [arm64]

  dep: libstdc++6 (>= 7) [ia64]

• dep: libunwind8 [ia64]

  Biblioteka do ustalania łańcucha wywołań programu - środowisko uruchomieniowe

• dep: python3 [sparc64]

  Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)

  dep: python3 (<< 3.13) [sparc64]

  dep: python3 (>= 3.12~) [sparc64]

• dep: python3-cffi [sparc64]

  Foreign Function Interface for Python 3 calling C code

• 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
alpha (port nieoficjalny)	5.6.2-2	1 755,8 KiB	16 573,0 KiB	[lista plików]
amd64	5.6.2-2	1 839,8 KiB	15 011,0 KiB	[lista plików]
arm64	5.6.2-2+b1	1 709,6 KiB	15 012,0 KiB	[lista plików]
armel	5.6.2-2	1 553,6 KiB	13 559,0 KiB	[lista plików]
armhf	5.6.2-2	1 573,7 KiB	11 295,0 KiB	[lista plików]
hppa (port nieoficjalny)	5.6.2-2	1 860,2 KiB	16 190,0 KiB	[lista plików]
i386	5.6.2-2	1 936,6 KiB	15 319,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.2.2-2	2 640,4 KiB	13 938,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.6.2-2	1 787,6 KiB	14 411,0 KiB	[lista plików]
mips64el	5.6.2-2	1 694,9 KiB	17 428,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.6.2-2	1 891,0 KiB	18 851,0 KiB	[lista plików]
ppc64el	5.6.2-2	1 920,6 KiB	17 699,0 KiB	[lista plików]
riscv64	5.6.2-2	1 867,5 KiB	13 153,0 KiB	[lista plików]
s390x	5.6.2-2	1 851,8 KiB	16 017,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.6.2-2	2 034,3 KiB	14 311,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.6.2-1+b2	1 628,6 KiB	19 408,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.6.2-2	1 846,4 KiB	14 419,0 KiB	[lista plików]