|
|
@@ -54,7 +54,7 @@ Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
|
C'est le programme qui implémente un solveur SAT en utilisant MPI.Il ne possède pas de commande spécifique dans le makefile. Le programme s'utilise avec la commande suivante :
|
|
|
|
|
|
-`mpirun -n ./GSATSolver int -i file.cnf`
|
|
|
+`mpirun -n int ./GSATSolver -i file.cnf`
|
|
|
|
|
|
Les arguments sont les suivants :
|
|
|
|
|
|
@@ -69,7 +69,7 @@ Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
|
C'est le programme qui implémente un solveur SAT utilsant MPI et du multi threads. Il ne possède pas de commande spécifique dans le makefile. Le programme s'utilise avec la commande suivante :
|
|
|
|
|
|
-`mpirun -n int ./GSATSolver -i file.cnf`
|
|
|
+`mpirun -n int ./GSATSolver -i file.cnf [-t int]`
|
|
|
|
|
|
Les arguments sont les suivants :
|
|
|
|
|
|
@@ -114,7 +114,7 @@ Le programme implémente le principe des bandits manchots avec une moyenne expon
|
|
|
|
|
|
- `make epsilon` pour lancer le programme avec un epsilon greedy à 0.2
|
|
|
- `make dynamic` pour lancer le programme avec un alpha dynamique sans epsilon greedy
|
|
|
-- `make start` pour lancer le programme avec un alpha dynamique avec epsilon greedy
|
|
|
+- `make start` pour lancer le programme avec un alpha dynamique avec epsilon greedy à 0.2
|
|
|
|
|
|
Le programme se lance avec la commande suivante :
|
|
|
|
Arthur Brandao