Programmes par parallelsat4j.sf.net

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’ut