Paketname | aspcud |
Beschreibung | CUDF solver based on Answer Set Programming |
Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
Version | 2011.03.17.dfsg-4 |
Sektion | universe/admin |
Priorität | extra |
Installierte Größe | 363 Byte |
Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), gringo, clasp (>= 2.0.0) |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 120272 Byte |
Prüfsumme MD5 | 0952631333ccb28c2d143b96b58c2eb7 |
Prüfsumme SHA1 | f84031597670290490e44cdd5c26da516d3ae583 |
Prüfsumme SHA256 | 5bc290fa3f5a26f18704abc1dd45ca80a98aca1ae837a804fae1629c4478f2f4 |
Link zum Herunterladen | aspcud_2011.03.17.dfsg-4_i386.deb |
Ausführliche Beschreibung | |