Paket: gringo (5.6.2-2)
Links für gringo
Debian-Ressourcen:
Quellcode-Paket gringo herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [www.potassco.org]
Ähnliche Pakete:
»grounding tools« für (disjunktive) Logikprogramme
Aktuelle Programme zur Ermittlung von Antwortmengen (»answer set solvers«) arbeiten mit variablenfreien Programmen. Daher wird ein »Grounder« benötigt, der bei einem gegebenen Eingabeprogramm mit Variablen erster Ordnung ein äquivalentes variablenfreies »ground program« berechnet.
Dieses Paket enthält die folgenden Tools:
- gringo: ein Grounder, der bei einem gegebenen Eingabeprogramm mit
Variablen erster Ordnung ein äquivalentes (variablenfreies) ground program im aspif-Format berechnet. Seine Ausgabe kann mit dem answer set solver clasp weiterverarbeitet werden. Beginnend mit der Gringo-Serie 5 ist die Ausgabe nicht mehr direkt mit Solvern wie smodels oder cmodels kompatibel, die das smodels-Format lesen. Verwenden Sie lpconvert zum Übersetzen des aspif-Formats in das smodels-Format.- clingo: kombiniert gringo und clasp zu einem monolithischen System.
Auf diese Weise bietet es mehr Kontrolle über den Grounding- und Lösungsprozess, als gringo und clasp einzeln bieten können: Multi-Shot-Lösung.- lpconvert: Umwandler für die gringo-Formate aspif und smodels - reify: kleines Dienstprogramm, das Logikprogramme im aspif-Format
reifiziert (vergegenständlicht). Es erzeugt eine Reihe von Fakten, die mit gringo weiterverarbeitet werden können.
Andere Pakete mit Bezug zu gringo
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
-
- dep: libgcc-s1 (>= 3.0)
- GCC Support-Bibliothek
-
- dep: liblua5.4-0 (>= 5.4.6)
- Laufzeitbibliothek für den Lua-Interpreter, Version 5.4
-
- dep: libstdc++6 (>= 13.1)
- GNU-Implementierung der Standard-C++-Bibliothek (Version 3)
-
- rec: clasp
- conflict-driven nogood learning answer set solver
gringo herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
ppc64el | 1.920,6 kB | 17.699,0 kB | [Liste der Dateien] |