Paketname | aspcud |
Beschreibung | CUDF solver based on Answer Set Programming |
Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
Version | 2011.03.17.dfsg-3 |
Sektion | universe/admin |
Priorität | extra |
Installierte Größe | 400 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 | 117572 Byte |
Prüfsumme MD5 | 640e37c4e8bd7fe477263c84dfad6514 |
Prüfsumme SHA1 | 642935004eaed9e743c0810d4d1550f65f240ecb |
Prüfsumme SHA256 | c851393dc2e8e55b197d2b04c353c6b6e548e5a82e2c6711dd468628941a5322 |
Link zum Herunterladen | aspcud_2011.03.17.dfsg-3_i386.deb |
Ausführliche Beschreibung | |