packages
[ Quellcode: sat4j ]
Paket: sat4j (2.3.5-0.3) [universe]
Links für sat4j
Ubuntu-Ressourcen:
Quellcode-Paket sat4j herunterladen:
Betreuer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- Michael Tautschnig
It should generally not be necessary for users to contact the original maintainer.
Externe Ressourcen:
- Homepage [www.sat4j.org]
Ähnliche Pakete:
Efficient library of SAT solvers in Java
Andere Pakete mit Bezug zu sat4j
|
|
|
|
-
- dep: default-jre
- Standard Java or Java compatible Runtime
- oder java7-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-18-jre, openjdk-21-jre, openjdk-8-jre
- oder java8-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-18-jre, openjdk-21-jre, openjdk-8-jre
- oder java9-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-18-jre, openjdk-21-jre
- oder java10-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-18-jre, openjdk-21-jre
- oder java11-runtime
- virtuelles Paket, bereitgestellt durch default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-18-jre, openjdk-21-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library
sat4j herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 548,1 kB | 687,0 kB | [Liste der Dateien] |