Paketname | clasp |
Beschreibung | conflict-driven nogood learning answer set solver |
Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
Version | 2.0.2-1 |
Sektion | universe/interpreters |
Priorität | extra |
Installierte Größe | 824 Byte |
Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6), libtbb2 (>= 2.1~) |
Empfohlene Pakete | gringo |
Paketbetreuer | Ubuntu Developers |
Quelle | |
Paketgröße | 371072 Byte |
Prüfsumme MD5 | fb77f157966ff8099028d4da2cf87079 |
Prüfsumme SHA1 | 8f09e496db9177fc7fa62d1b84e0aa05b4697c17 |
Prüfsumme SHA256 | 58ecb28c29d75d5a97c71096ce5cc16fbb51a6f989343a7eff77525d4593a240 |
Link zum Herunterladen | clasp_2.0.2-1_i386.deb |
Ausführliche Beschreibung | |