| Paketname | minisat |
| Beschreibung | Fast and lightweight SAT solver |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1:2.2.1-3 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 472 Byte |
| Hängt ab von | libc6 (>= 2.2), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | |
| Paketbetreuer | Michael Tautschnig |
| Quelle | minisat2 |
| Paketgröße | 129100 Byte |
| Prüfsumme MD5 | 0c43b9bfae39d78cb10c0ee34eb5dfa6 |
| Prüfsumme SHA1 | ec75594dfd648f9e6018fa0c14078f81cbc6bfb2 |
| Prüfsumme SHA256 | a898e76297107e0f4b2ed1ad42d1c9904a5c9d31fa86129a1d8cda1df29cb498 |
| Link zum Herunterladen | minisat_2.2.1-3_i386.deb |
| Ausführliche Beschreibung | |