Paquet : sat4j (2.3.5-0.3)

Liens pour sat4j

Ressources Debian :

Télécharger le paquet source sat4j :

Responsable :

Michael Tautschnig (Page QA)

Ressources externes :

Page d'accueil [www.sat4j.org]

Paquets similaires :

bibliothèque de solveurs SAT en Java

L'objectif de la bibliothèque SAT4J est de proposer des solveurs SAT efficaces en Java. Par rapport au projet OpenSAT, la bibliothèque SAT4J répond principalement aux besoins des utilisateurs de « boîtes noires » SAT qui veulent intégrer les technologies SAT dans leur application sans se soucier des détails. Le projet SAT4J tente aussi de fournir une base de travail pour les chercheurs.

Étiquettes: Domaine: Mathématiques, Mis en œuvre en: Java, Rôle: role::program, role::shared-lib

Autres paquets associés à sat4j

dépendances

recommandations

suggestions

enhances

dep: default-jre

environnement d'exécution Java standard ou compatible

ou java7-runtime

paquet virtuel fourni par default-jre, openjdk-11-jre

ou java8-runtime

paquet virtuel fourni par default-jre, openjdk-11-jre

ou java9-runtime

paquet virtuel fourni par default-jre, openjdk-11-jre

ou java10-runtime

paquet virtuel fourni par default-jre, openjdk-11-jre

ou java11-runtime

paquet virtuel fourni par default-jre, openjdk-11-jre
dep: jarwrapper (>= 0.5)

exécution d'exécutables Java au format jar
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	548,9 ko	687,0 ko	[liste des fichiers]