packages
[ Paquet source : sat4j ]
Paquet : sat4j (2.3.5-0.3) [universe]
Liens pour sat4j
Ressources Ubuntu :
Télécharger le paquet source sat4j :
Responsable :
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.
Ressources externes :
- Page d'accueil [www.sat4j.org]
Paquets similaires :
Efficient library of SAT solvers in Java
Autres paquets associés à sat4j
|
|
|
|
-
- dep: default-jre
- Standard Java or Java compatible Runtime
- ou java7-runtime
- paquet virtuel fourni par default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre
- ou java8-runtime
- paquet virtuel fourni par default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre
- ou java9-runtime
- paquet virtuel fourni par default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- ou java10-runtime
- paquet virtuel fourni par default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
- ou java11-runtime
- paquet virtuel fourni par default-jre, openjdk-11-jre, openjdk-17-jre, openjdk-21-jre
-
- dep: jarwrapper (>= 0.5)
- Run executable Java .jar files
-
- dep: libcommons-cli-java
- Command line arguments and options parsing library
Télécharger sat4j
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 548,1 ko | 687,0 ko | [liste des fichiers] |