Loquicom 939cfbcc81 Ajout securite nb thread incorrect před 5 roky
..
GSAT 2d311fac72 Restructuration dossier před 5 roky
GSATHybride.cpp cf23714e95 Renommage class GSATThreadMPI před 5 roky
GSATHybride.hpp 8f00dc7ab4 Tentative correction bug crash inconnue před 5 roky
Main.cpp 939cfbcc81 Ajout securite nb thread incorrect před 5 roky
Main.hpp cf23714e95 Renommage class GSATThreadMPI před 5 roky
Makefile cf23714e95 Renommage class GSATThreadMPI před 5 roky
ReadMe.txt 1a5548a9bf Ecriture ReadMe de chaque programme před 5 roky
color.h 2d311fac72 Restructuration dossier před 5 roky

ReadMe.txt

Le programme implémente un solveur SAT utilsant MPI et du multi threads.

Les commandes du makefile sont :
make : pour compiler le programme. L'exécutable généré se nommera GSATSolver.
make clean : pour supprimer le fichier exécutable et les .o
make run : pour lancer le programme

Le programme s'utilise avec la commande suivante :
mpirun -n int ./GSATSolver -i file.cnf [-t int]

Les arguments sont les suivants :
-n int : Le nombre de processus à utiliser
-i file.cnf : Le chemin vers le fichier cnf à résoudre
-t int : Le nombre de threads à utiliser (optionnel, par défaut 4)

Exemple de commande (celle exécutée par `make run`) :
mpirun -n 3 ./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 2