| Paketname | sat4j |
| Beschreibung | Efficient library of SAT solvers in Java |
| Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
| Version | 2.3.1-1 |
| Sektion | science |
| Priorität | optional |
| Installierte Größe | 1143 Byte |
| Hängt ab von | default-jre | java2-runtime | java5-runtime | java6-runtime, jarwrapper (>= 0.5), libcommons-cli-jav |
| Empfohlene Pakete | |
| Paketbetreuer | Michael Tautschnig |
| Quelle | |
| Paketgröße | 997618 Byte |
| Prüfsumme MD5 | 402ac5ce0271b698ce925cf5b6bec280 |
| Prüfsumme SHA1 | 4460a18772fd54ceb01be3df13a9d6678454cee2 |
| Prüfsumme SHA256 | 138d58f257e62d05046d59388e4dc438f05b5509571003dc5acca323ab1ccab8 |
| Link zum Herunterladen | sat4j_2.3.1-1_all.deb |
| Ausführliche Beschreibung | role::shared-lib
|