Paquet : sat4j (2.3.6-1)

Liens pour sat4j

Suivis des correctifs pour eLxr

Télécharger le paquet source sat4j :

Responsables :

Ressources externes :

Page d'accueil [www.sat4j.org]

Paquets similaires :

Efficient library of SAT solvers in Java

The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. The SAT4J project also tries to provide a basis of work for SAT researchers.

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 default-jre, openjdk-21-jre

ou java9-runtime

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

ou java10-runtime

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

ou java11-runtime

paquet virtuel fourni par default-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	832,1 ko	996,0 ko	[liste des fichiers]