| Paketname | sat4j |
| Beschreibung | Efficient library of SAT solvers in Java |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.3.1-1ubuntu1 |
| Sektion | universe/science |
| Priorität | extra |
| Installierte Größe | 1102 Byte |
| Hängt ab von | default-jre | java5-runtime | java6-runtime | java7-runtime, jarwrapper (>= 0.5), libcommons-cli-jav |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | |
| Paketgröße | 954472 Byte |
| Prüfsumme MD5 | 60d14bca65ef786d6a994c6d31d119ea |
| Prüfsumme SHA1 | 82682da76f7a1f68f29977c747af1b1b6864a2f4 |
| Prüfsumme SHA256 | 3199871b028cd36aaf1bf66e52727c838f224c5cc4807312fbda41debeca2eec |
| Link zum Herunterladen | sat4j_2.3.1-1ubuntu1_all.deb |
| Ausführliche Beschreibung | |