| Paketname | minisat |
| Beschreibung | Fast and lightweight SAT solver |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 1:2.2.1-3 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 408 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | minisat2 |
| Paketgröße | 126954 Byte |
| Prüfsumme MD5 | c202d433a2a131bb71e8d9c6e14f44c3 |
| Prüfsumme SHA1 | 741e9d548af400ff7ff5f03af06402aaa9059cbc |
| Prüfsumme SHA256 | 7300a24e15cd6923b9f56e180e4eb9b030502949c5feed965e2cd2584c193f97 |
| Link zum Herunterladen | minisat_2.2.1-3_i386.deb |
| Ausführliche Beschreibung | |