| Paketname | sat4j |
| Beschreibung | Efficient library of SAT solvers in Java |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.3.0-1 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 724 Byte |
| Hängt ab von | default-jre | java2-runtime | java5-runtime | java6-runtime, jarwrapper (>= 0.5) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 591426 Byte |
| Prüfsumme MD5 | b737b56547de4e55084f36575cd763ae |
| Prüfsumme SHA1 | 7a4921ad28613470fc766ee50739b91c34de8297 |
| Prüfsumme SHA256 | 500d877b76d5d6ed57f6fcef0a0add7c301f558d5f8985f28ff5dda2f57798f8 |
| Link zum Herunterladen | sat4j_2.3.0-1_all.deb |
| Ausführliche Beschreibung | |