| Paketname | minisat+ |
| Beschreibung | solver for pseudo-Boolean constraints |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 1.0-2 |
| Sektion | science |
| Priorität | extra |
| Installierte Größe | 436 Byte |
| Hängt ab von | libc6 (>= 2.2), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.1.1), zlib1g (>= 1:1.1.4) |
| Empfohlene Pakete | |
| Paketbetreuer | Debian Science Maintainers |
| Quelle | |
| Paketgröße | 174052 Byte |
| Prüfsumme MD5 | a008c01869efd69ff95c2ddc9b9f42ff |
| Prüfsumme SHA1 | 1aafeb0f93d03443851cef2b70d53ad99e89a899 |
| Prüfsumme SHA256 | 651bef62c140fa01ea3f0bd735b621ed172ce05fb686fa93e53df96cb0b46a3f |
| Link zum Herunterladen | minisat+_1.0-2_i386.deb |
| Ausführliche Beschreibung | |