clasp
conflict-driven nogood learning answer set solver
🌐 Site do projeto: https://www.potassco.org/clasp/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 3.3.5-4.2 | amd64 | 0.6 MB | .deb |
Ogum | 3.3.5-5 | amd64 | 0.6 MB | .deb |
Informações do pacote
| Seção | interpreters |
|---|---|
| Prioridade | optional |
| Mantenedor | Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> |
| Site do projeto (upstream) | <a href="https://www.potassco.org/clasp/" rel="noopener">https://www.potassco.org/clasp/</a> |
| Depende de | libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 12) |
| Fornece (Provides) | — |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |