Package: clasp (3.3.5-4.2 and others)

[ Source: clasp  ]

risolutore di insiemi di risposte per apprendimento nogood pilotato dai conflitti

clasp è un risolutore di insiemi di risposte per programmi di logica normale (estesa). Combina le capacità di modellazione di alto livello di ASP (Answer Set Programming) con tecniche all'avanguardia dall'area della risoluzione di vincoli booleani. L'algoritmo primario di clasp si basa sull'apprendimento nogood pilotato da conflitti, una tecnica che ha dimostrato grande successo per i controlli di soddisfacibilità (SAT). A differenza di altri risolutori ASP con apprendimento, clasp non si basa su software datato, come un risolutore SAT o qualsiasi altro risolutore ASP esistente. Invece clasp è stato sviluppato veramente per la risoluzione di insiemi di risposte basata su apprendimento nogood pilotato da conflitti. clasp può essere applicato come risolutore ASP (sul formato di output LPARSE), come risolutore SAT (su formato DIMACS/CNF semplificato) o come risolutore PB (su formato OPB).

Tags: Implemented in: C++, Role: Program

Other Packages Related to clasp

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

  libreria ausiliaria che fornisce funzioni __atomic incorporate

• dep: libc6 (>= 2.34) [not alpha, arm64, ia64, sh4]

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

  dep: libc6 (>= 2.36) [sh4]

  dep: libc6 (>= 2.38) [arm64]

• dep: libc6.1 (>= 2.30) [alpha, ia64]

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

• 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) [ia64, 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: libstdc++6 (>= 12) [not arm64, ia64, riscv64]

  libreria GNU Standard C++, versione 3

  dep: libstdc++6 (>= 13.1) [riscv64]

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

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

• dep: libunwind8 [ia64]

  libreria per tracciare la catena di chiamate di un programma - runtime

• rec: gringo

  strumenti di grounding per programmi di logica (disgiuntiva)

Download clasp

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	3.3.5-4.2	632.6 kB	2,086.0 kB	[list of files]
amd64	3.3.5-4.2	614.5 kB	1,719.0 kB	[list of files]
arm64	3.3.5-4.2+b1	581.0 kB	1,764.0 kB	[list of files]
armel	3.3.5-4.2	515.9 kB	1,506.0 kB	[list of files]
armhf	3.3.5-4.2	526.9 kB	1,186.0 kB	[list of files]
hppa (unofficial port)	3.3.5-4.2	611.1 kB	1,764.0 kB	[list of files]
i386	3.3.5-4.2	672.8 kB	1,822.0 kB	[list of files]
ia64 (unofficial port)	3.3.5-1	783.8 kB	3,489.0 kB	[list of files]
m68k (unofficial port)	3.3.5-4.2	586.1 kB	1,722.0 kB	[list of files]
mips64el	3.3.5-4.2	581.0 kB	2,127.0 kB	[list of files]
ppc64 (unofficial port)	3.3.5-4.2	640.9 kB	2,339.0 kB	[list of files]
ppc64el	3.3.5-4.2	652.1 kB	2,147.0 kB	[list of files]
riscv64	3.3.5-4.2+b1	659.1 kB	1,524.0 kB	[list of files]
s390x	3.3.5-4.2	563.3 kB	1,815.0 kB	[list of files]
sh4 (unofficial port)	3.3.5-4.2	705.9 kB	1,698.0 kB	[list of files]
sparc64 (unofficial port)	3.3.5-4.2	526.5 kB	2,088.0 kB	[list of files]
x32 (unofficial port)	3.3.5-4.2	626.6 kB	1,662.0 kB	[list of files]