|
|
@@ -6,13 +6,13 @@
|
|
|
|
|
|
## Structure du projet
|
|
|
|
|
|
-Le projet est divisé en deux dossiers, un pour chaque partie nommée Partie_1 et Partie_2. Le dossier Partie_1 comportes 3 sous-dossiers, et le dossier Partie_2 comporte 2 sous-dossiers. Chaque sous-dossier correspond à un programme avec son makefile pour la compilation et un ReadMe.txt pour rappeler ses commandes et son utilisation (qui est aussi décrite plus bas dans ce document). Le dossier benchmark à la racine du projet contient les fichiers cnf utilisés pour l'exécution des programmes.
|
|
|
+Le projet est divisé en deux dossiers, un pour chaque partie, nommés Partie_1 et Partie_2. Le dossier Partie_1 comporte 3 sous-dossiers, et le dossier Partie_2 comporte 2 sous-dossiers. Chaque sous-dossier correspond à un programme avec son makefile pour la compilation et un ReadMe.txt pour rappeler ses commandes et son utilisation (qui est aussi décrite plus bas dans ce document). Le dossier benchmark à la racine du projet contient les fichiers cnf utilisés pour l'exécution des programmes.
|
|
|
|
|
|
|
|
|
|
|
|
## Utilisation
|
|
|
|
|
|
-Le makefile à la racine du dossier permet de compiler/supprimer tous les programmes d'une partie (ou des deux) avec une seule commande. Les commandes de sont makefile sont :
|
|
|
+Le makefile à la racine du dossier permet de compiler/supprimer tous les programmes d'une partie (ou des deux) avec une seule commande. Les commandes de ce makefile sont :
|
|
|
|
|
|
- `make` pour compiler tous les programmes
|
|
|
- `make part1` pour compiler les programmes de la partie 1
|
|
|
@@ -25,7 +25,7 @@ De plus les makefile de chaque programme ont 3 fonctionnalités communes :
|
|
|
- `make clean` pour supprimer le fichier exécutable et les .o
|
|
|
- `make run` pour lancer le programme
|
|
|
|
|
|
-Certains makefile ont des commandes supplémentaires pour lancer le programme avec des options différentes. Le fichier ReadMe.txt de chaque programme indique l'utilité du programme, les commandes du fichier makefile, ainsi que la commande pour lancer le programme depuis le terminal avec les différents arguments possibles (de plus tous les programmes affiche leur liste d'arguments en cas de mauvaise utilisation).
|
|
|
+Certains makefile ont des commandes supplémentaires pour lancer le programme avec des options différentes. Le fichier ReadMe.txt de chaque programme indique l'utilité du programme, les commandes du fichier makefile, ainsi que la commande pour lancer le programme depuis le terminal avec les différents arguments possibles (de plus tous les programmes affichent leur liste d'arguments en cas de mauvaise utilisation).
|
|
|
|
|
|
|
|
|
|
|
|
@@ -43,8 +43,8 @@ Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
- -t int : Le nombre de threads à utiliser (optionnel, par défaut 4)
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché (optionnel)
|
|
|
-- -m int : Le nombre maximum d'itération avant l'arret du programme (optionnel)
|
|
|
+- -s : Active le mode silencieux seule la satisfaisabilité (ou non) est affichée (optionnel)
|
|
|
+- -m int : Le nombre maximum d'itérations avant l'arrêt du programme (optionnel)
|
|
|
|
|
|
Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
|
@@ -52,7 +52,7 @@ Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
|
### MPI
|
|
|
|
|
|
-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 :
|
|
|
+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 int ./GSATSolver -i file.cnf`
|
|
|
|
|
|
@@ -101,8 +101,8 @@ Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
- -t int : Le nombre de threads à utiliser (optionnel, par défaut 4)
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché (optionnel)
|
|
|
-- -e double : Utilisation de l'epsilon greedy avec la valeur donné. La valeur doit être compirse entre 0 et 1 sinon la valeur utilisé est 0.1 (optionnel)
|
|
|
+- -s : Active le mode silencieux seule la satisfaisabilité (ou non) est affichée (optionnel)
|
|
|
+- -e double : Utilisation de l'epsilon greedy avec la valeur donnée. La valeur doit être comprise entre 0 et 1 sinon la valeur utilisée est 0.1 (optionnel)
|
|
|
|
|
|
Exemple de commande (celle exécutée par `make epsilon`) :
|
|
|
|
|
|
@@ -124,10 +124,10 @@ Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
- -t int : Le nombre de threads à utiliser (optionnel, par défaut 4)
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché (optionnel)
|
|
|
-- -e double : Utilisation de l'epsilon greedy avec la valeur donné. La valeur doit être compirse entre 0 et 1 sinon la valeur utilisé est 0.1 (optionnel)
|
|
|
+- -s : Active le mode silencieux seule la satisfaisabilité (ou non) est affichée (optionnel)
|
|
|
+- -e double : Utilisation de l'epsilon greedy avec la valeur donnée. La valeur doit être comprise entre 0 et 1 sinon la valeur utilisée est 0.1 (optionnel)
|
|
|
- -d : Utilisation d'un alpha dynamique qui évolue entre 0.4 et 0.6 (optionnel)
|
|
|
|
|
|
-Exemple de commande (celle éxécuté par `make start`) :
|
|
|
+Exemple de commande (celle éxécutée par `make start`) :
|
|
|
|
|
|
`./GSATSolver -i ../../benchmarks/uf150/uf150-099.cnf -t 4 -d -e 0.2`
|
Brandao Arthur