Paquet : sat4j (2.3.5-0.3)

[ Paquet source : sat4j  ]

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

• 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]