noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Paquet source : sat4j  ]

Liens pour sat4j

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source sat4j :

• [sat4j_2.3.6.orig.tar.xz]
• [sat4j_2.3.6-1build1.debian.tar.xz]
• [sat4j_2.3.6-1build1.dsc]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Archive du courrier électronique)
• 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 :

• libcryptominisat5-5.11t64
• cryptominisat
• minisat
• libtreelayout-java
• libcryptominisat5-dev
• picosat
• libejml-java
• python3-cryptominisat
• kissat
• clonalframeml
• libtruffle-dsl-processor-java

Autres paquets associés à sat4j

dépendances

recommandations

suggestions

enhances

• dep: default-jre

  Standard Java or Java compatible Runtime

  ou java8-runtime

  paquet virtuel fourni par openjdk-11-jre, openjdk-17-jre, openjdk-21-jre, openjdk-8-jre

  ou java9-runtime

  paquet virtuel fourni par openjdk-11-jre, openjdk-17-jre, openjdk-21-jre

  ou java10-runtime

  paquet virtuel fourni par openjdk-11-jre, openjdk-17-jre, openjdk-21-jre

  ou java11-runtime

  paquet virtuel fourni par 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

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	827,0 ko	996,0 ko	[liste des fichiers]