Paketname | flatzinc |
Beschreibung | constraint problem modelling language |
Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
Version | 3.7.3-1 |
Sektion | devel |
Priorität | optional |
Installierte Größe | 182 Byte |
Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgecode32, libgecodeflatzinc32, libgecodegist32, libstdc++6 |
Empfohlene Pakete | |
Paketbetreuer | Kari Pahula |
Quelle | gecode |
Paketgröße | 58902 Byte |
Prüfsumme MD5 | 0ccb852e0b9a98ce7753639e0e15c4fa |
Prüfsumme SHA1 | 75150807e5153451e3621a877dcf96e990296b5d |
Prüfsumme SHA256 | 559dcd6507d98407aec8d235b860f094c1c573422f5461832cb41c1c68d3dc5f |
Link zum Herunterladen | flatzinc_3.7.3-1_i386.deb |
Ausführliche Beschreibung | |