| Paketname | minisat |
| Beschreibung | Fast and lightweight SAT solver |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 1:2.2.1-2 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 480 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 | 126182 Byte |
| Prüfsumme MD5 | e95af46f01909e46f01fe2bed0f697ac |
| Prüfsumme SHA1 | ad64a7bedbffd715674f41f5601e9bbe412a61e4 |
| Prüfsumme SHA256 | b6bbbff760965665e5fbafd357fd8dc425dc06f2650066f9b039c33b9da291eb |
| Link zum Herunterladen | minisat_2.2.1-2_i386.deb |
| Ausführliche Beschreibung | |