Pakiet: gringo (5.6.2-2) [debports]

[ Pakiet źródłowy:  ]

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.

Inne pakiety związane z gringo

• dep: libatomic1 (>= 4.8)

  Biblioteka wsparcia zapewniająca wbudowane funkcje __atomic

• dep: libc6 (>= 2.38)

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

• dep: libgcc-s2 (>= 4.2.1)

  Biblioteka wspomagająca GCC

• dep: liblua5.4-0 (>= 5.4.6)

  Shared library for the Lua interpreter version 5.4

• dep: libstdc++6 (>= 13.1)

  Standardowa biblioteka GNU C++, wersja 3

• rec: clasp

  conflict-driven nogood learning answer set solver

Pobieranie gringo

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
m68k (port nieoficjalny)	1 787,6 KiB	14 411,0 KiB	[lista plików]