Pacote: clasp (3.3.5-4.2) [debports]

[ Fonte:  ]

conflict-driven nogood learning answer set solver

clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming (ASP) with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp does not rely on legacy software, such as a SAT solver or any other existing ASP solver. Rather, clasp has been genuinely developed for answer set solving based on conflict-driven nogood learning. clasp can be applied as an ASP solver (on LPARSE output format), as a SAT solver (on simplified DIMACS/CNF format), or as a PB solver (on OPB format).

Outros pacotes relacionados a clasp

• dep: libatomic1 (>= 4.8)

  biblioteca de apoio que provê funções embutidas __atomic

• dep: libc6 (>= 2.34)

  GNU Biblioteca C: Bibliotecas compartilhadas
  também um pacote virtual fornecido por libc6-udeb

• dep: libgcc-s2 (>= 4.2.1)

  Biblioteca de suporte GCC

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

  Biblioteca C++ padrão da GNU v3

• rec: gringo

  grounding tools for (disjunctive) logic programs

Download de clasp

Baixe para todas as arquiteturas disponíveis

Arquitetura	Tamanho do pacote	Tamanho instalado	Arquivos
m68k (porte não oficial)	586.1 kB	1,722.0 kB	[lista de arquivos]