Package: gringo (5.3.0-10)

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.

Tags: Role: Program

Other Packages Related to gringo

depends

recommends

suggests

enhances

dep: libc6 (>= 2.14) [amd64]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc1 (>= 1:3.0) [amd64, arm64]

libreria di supporto a GCC

dep: libgcc1 (>= 1:3.5) [armhf]

dep: libgcc1 (>= 1:4.2) [i386]
dep: liblua5.3-0

libreria condivisa per l'interprete Lua versione 5.3
dep: libpython3.7 (>= 3.7.0)

libreria runtime Python condivisa (versione 3.7)
dep: libstdc++6 (>= 7)

libreria GNU Standard C++, versione 3

rec: clasp

risolutore di insiemi di risposte per apprendimento nogood pilotato dai conflitti

Download gringo

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	2,175.8 kB	6,962.0 kB	[list of files]
arm64	2,039.7 kB	6,664.0 kB	[list of files]
armhf	1,945.0 kB	4,627.0 kB	[list of files]
i386	2,305.8 kB	7,155.0 kB	[list of files]