![](/statics/img/blank.png)
Parallel Sat4J 0.01
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 5.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Parallel Sat4J
Il s’agit d’un projet académique; l’objectif principal est de générer un algorithme pour paralléliser une formule CNF, puis alimenter les pièces distribuées aux solveurs SAT séquentiels, pour ce projet, nous avons choisi d’utiliser Sat4J comme solveur.