Package: clasp (3.3.5-4.2)

[ Source: clasp  ]

갈등 주도 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

• dep: libc6 (>= 2.34)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC 기능 지원 라이브러리

• dep: libstdc++6 (>= 12)

  GNU 표준 C++ 라이브러리 v3

• rec: gringo

  (선언적) 논리 프로그램용 그라운딩 도구

Download clasp

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	564.7 kB	1,699.0 kB	[list of files]