all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: clasp  ]

Package: clasp (3.3.5-4.2)

Links for clasp

Screenshot

Debian Resources:

Download Source Package clasp:

Maintainers:

External Resources:

Similar packages:

Konfliktdrevet nogood-løsningsprogram for svarsæt til indlæring

Clasp er et løsningsprogram for svarsæt (udvidet) til normale logiske programmer. Det kombinerer modelleringsfunktionerne, på højt niveau, for svarsætprogrammering (ASP) med moderne teknikker fra området med boolesk begrænsningsløsning. Den primære clasp-algoritme beror på konfliktdreven nogood-indlæring, en teknik, der viste sig at have høj succes for opfyldelighedskontrol (SAT). I modsætning til andre løsningsprogrammer for indlærings-ASP, så stoler clasp ikke på forældede programmer, såsom et SAT-løsningsprogram eller ethvert andet eksisterende ASP-løsningsprogram. Snarere har clasp været udviklet til svarsæt-løsning baseret på konfliktdrevet nogood-indlæring. Clasp kan anvendes som et ASP-løsningsprogram (på LPARSE-uddataformat), som et SAT-løsningsprogrammet (på forenklet DIMACS/CNF-format) eller som et PB-løsningsprogram (på OPB-format).

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
mipsel 588.7 kB2,048.0 kB [list of files]