all options
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Source: clasp  ]

Package: clasp (3.3.4-2)

Links for clasp

Screenshot

Debian Resources:

Download Source Package clasp:

Maintainers:

External Resources:

Similar packages:

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

  • depends
  • recommends
  • suggests
  • enhances

Download clasp

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 613.0 kB1,711.0 kB [list of files]
arm64 563.4 kB1,635.0 kB [list of files]
armel 521.8 kB1,502.0 kB [list of files]
armhf 536.9 kB1,162.0 kB [list of files]
i386 677.6 kB1,850.0 kB [list of files]
mips 585.1 kB2,028.0 kB [list of files]
mips64el 580.1 kB2,108.0 kB [list of files]
mipsel 593.9 kB2,028.0 kB [list of files]
ppc64el 650.9 kB2,151.0 kB [list of files]
s390x 557.0 kB1,819.0 kB [list of files]