| Paketname | minisat+ |
| Beschreibung | solver for pseudo-Boolean constraints |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 1.0-2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 413 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 172124 Byte |
| Prüfsumme MD5 | 47eeb61bb30f289671577539bd3e8e91 |
| Prüfsumme SHA1 | 0855bce3fe353046da8e18ad6308415b928fe0b2 |
| Prüfsumme SHA256 | aaec12b34e6d3e04bb3f0cee7afec8f770d2fb703fe77eaaba3562f3636402c9 |
| Link zum Herunterladen | minisat+_1.0-2_i386.deb |
| Ausführliche Beschreibung | |