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:

갈등 주도 nogood 학습 해결 세트 솔버

clasp는 (확장된) 일반 논리 프로그램을 위한 해답 집합 솔버입니다. answer set programming(ASP)의 고급 모델링 기능과 부울 제약 해결 영역의 최첨단 기술을 결합합니다. 주 clasp 알고리즘은 적합성 검사(SAT)에서 매우 성공적이었던 기 술, 충돌 기반 nogood 학습에 의존합니다. 다른 학습 ASP 솔버와 달리, clasp는 SAT 솔버 또는 다른 기존의 ASP 솔버같은 레거시 소프트웨어에 의존하지 않습니 다. 오히려, clasp는 충돌 기반 nogood 학습을 기반으로 해결 세트 솔버를 위해 진정으로 개발되었습니다. clasp는 ASP 솔버 (LPARSE 출력 형식), SAT 솔버 (단 순 DIMACS/CNF 형식) 또는 PB 솔버 (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
armhf 526.9 kB1,186.0 kB [list of files]