| Paketname | aspcud |
| Beschreibung | CUDF solver based on Answer Set Programming |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2011.03.17.dfsg-4 |
| Sektion | admin |
| Priorität | extra |
| Installierte Größe | 367 Byte |
| Hängt ab von | libc6 (>= 2.1.3), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), gringo, clasp (>= 2.0.0) |
| Empfohlene Pakete | |
| Paketbetreuer | Ralf Treinen |
| Quelle | |
| Paketgröße | 122010 Byte |
| Prüfsumme MD5 | 4a45ef30b89f807e360062398e9b665d |
| Prüfsumme SHA1 | 88e12364e0b046c133a64f79fc9222e1967a8323 |
| Prüfsumme SHA256 | f0918869bd7f031cefcd8afcfd180dd7f6c8195f473856d70e146bb6a885a8af |
| Link zum Herunterladen | aspcud_2011.03.17.dfsg-4_i386.deb |
| Ausführliche Beschreibung | |