| Paketname | sat4j |
| Beschreibung | Efficient library of SAT solvers in Java |
| Archiv/Repository | Offizielles Ubuntu Archiv precise (universe) |
| Version | 2.3.1-1 |
| Sektion | universe/science |
| Priorität | extra |
| 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 | Ubuntu Developers |
| Quelle | |
| Paketgröße | 997454 Byte |
| Prüfsumme MD5 | 71f43bac35ed29d5db20691257d1bf2c |
| Prüfsumme SHA1 | e10209cfd06c52116927c51429f89ec50dea2ab1 |
| Prüfsumme SHA256 | b203dacdd7d37c1d166548864c50123322d1c35469c628bc1dbf8672a2fef905 |
| Link zum Herunterladen | sat4j_2.3.1-1_all.deb |
| Ausführliche Beschreibung | |