[ Source: gringo ]
Package: gringo (5.6.2-2 and others)
Links for gringo
Debian Resources:
Download Source Package gringo:
Maintainers:
External Resources:
- Homepage [www.potassco.org]
Similar packages:
strumenti di grounding per programmi di logica (disgiuntiva)
I risolutori di insiemi di risposte attuali lavorano su programmi liberi da variabili. Perciò è necessario uno strumento di grounding che, dato un programma di input con variabili del primo ordine, calcoli un programma ground equivalente (libero da variabili).
Questo pacchetto contiene i seguenti strumenti:
- gringo: uno strumento di grounding che, dato un programma di input con variabili del primo ordine, calcola un programma ground equivalente (libero da variabili) in formato aspif. Il suo output può essere elaborato ulteriormente con il risolutore di insiemi di risposte clasp. A partire da gringo serie 5, il suo output non è più direttamente compatibile con i risolutori come smodels o cmodels che leggono il formato smodels. Usare lpconvert per tradurre il formato aspif in formato smodels; - clingo: combina clasp e gringo in un sistema monolitico. In questo modo offre più controllo sui processi di grounding e di soluzione di quanto non offrano gringo e clasp individualmente: soluzioni multi-shot; - lpconvert: convertitore tra il formato smodels e aspif di gringo; - reify: piccola utilità che reifica un programma logico fornito in formato aspif. Produce un insieme di fatti che possono essere elaborati ulteriormente con gringo.
Other Packages Related to gringo
|
|
|
|
-
- dep: libatomic1 (>= 4.8) [armel, m68k, sh4]
- libreria ausiliaria che fornisce funzioni __atomic incorporate
-
- dep: libc6 (>= 2.37) [sh4]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.38) [not alpha, ia64, sh4]
-
- dep: libc6.1 (>= 2.26) [ia64]
- Libreria C GNU: librerie condivise
also a virtual package provided by libc6.1-udeb
- dep: libc6.1 (>= 2.34) [alpha]
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]
- libreria di supporto a 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]
- libreria di supporto a GCC
-
- dep: libgcc-s4 (>= 4.1.1) [hppa]
- libreria di supporto a GCC
-
- dep: libgcc1 (>= 1:4.2) [ia64]
- Package not available
-
- dep: liblua5.3-0 [ia64]
- libreria condivisa per l'interprete Lua versione 5.3
-
- dep: liblua5.4-0 (>= 5.4.6) [not ia64]
- libreria condivisa per la versione 5.4 dell'interprete Lua
-
- dep: libpython2.7 (>= 2.7) [ia64]
- Package not available
-
- dep: libpython3.12t64 (>= 3.12.1) [sparc64]
- libreria runtime condivisa per Python (versione 3.12)
-
- dep: libstdc++6 (>= 13.1) [not arm64, ia64]
- libreria GNU Standard C++, versione 3
- dep: libstdc++6 (>= 14) [arm64]
- dep: libstdc++6 (>= 7) [ia64]
-
- dep: libunwind8 [ia64]
- libreria per tracciare la catena di chiamate di un programma - runtime
-
- dep: python3 [sparc64]
- linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)
- dep: python3 (<< 3.13) [sparc64]
- dep: python3 (>= 3.12~) [sparc64]
-
- dep: python3-cffi [sparc64]
- Foreign Function Interface per chiamare codice C da Python 3
-
- rec: clasp
- risolutore di insiemi di risposte per apprendimento nogood pilotato dai conflitti
Download gringo
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
alpha (unofficial port) | 5.6.2-2 | 1,755.8 kB | 16,573.0 kB | [list of files] |
amd64 | 5.6.2-2 | 1,839.8 kB | 15,011.0 kB | [list of files] |
arm64 | 5.6.2-2+b1 | 1,709.6 kB | 15,012.0 kB | [list of files] |
armel | 5.6.2-2 | 1,553.6 kB | 13,559.0 kB | [list of files] |
armhf | 5.6.2-2 | 1,573.7 kB | 11,295.0 kB | [list of files] |
hppa (unofficial port) | 5.6.2-2 | 1,860.2 kB | 16,190.0 kB | [list of files] |
i386 | 5.6.2-2 | 1,936.6 kB | 15,319.0 kB | [list of files] |
ia64 (unofficial port) | 5.2.2-2 | 2,640.4 kB | 13,938.0 kB | [list of files] |
m68k (unofficial port) | 5.6.2-2 | 1,787.6 kB | 14,411.0 kB | [list of files] |
mips64el | 5.6.2-2 | 1,694.9 kB | 17,428.0 kB | [list of files] |
ppc64 (unofficial port) | 5.6.2-2 | 1,891.0 kB | 18,851.0 kB | [list of files] |
ppc64el | 5.6.2-2 | 1,920.6 kB | 17,699.0 kB | [list of files] |
riscv64 | 5.6.2-2 | 1,867.5 kB | 13,153.0 kB | [list of files] |
s390x | 5.6.2-2 | 1,851.8 kB | 16,017.0 kB | [list of files] |
sh4 (unofficial port) | 5.6.2-2 | 2,034.3 kB | 14,311.0 kB | [list of files] |
sparc64 (unofficial port) | 5.6.2-1+b2 | 1,628.6 kB | 19,408.0 kB | [list of files] |
x32 (unofficial port) | 5.6.2-2 | 1,846.4 kB | 14,419.0 kB | [list of files] |