aspcud
CUDF solver based on Answer Set Programming
🌐 Site do projeto: https://potassco.org/aspcud/
Versões por repositório
| Repositório | Versão | Arquitetura | Tamanho | Download |
|---|---|---|---|---|
Exu | 1:1.9.6-2 | amd64 | 0.1 MB | .deb |
Ogum | 1:1.9.6-3 | amd64 | 0.1 MB | .deb |
Informações do pacote
| Seção | admin |
|---|---|
| Prioridade | optional |
| Mantenedor | Ralf Treinen <treinen@debian.org> |
| Site do projeto (upstream) | <a href="https://potassco.org/aspcud/" rel="noopener">https://potassco.org/aspcud/</a> |
| Depende de | libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), gringo (>= 4.2.1), clasp (>= 3.0.0), clasp (<< 4) |
| Fornece (Provides) | cudf-solver |
| Substitui (Replaces) | — |
| Conflita (Conflicts) | — |