|
@@ -35,9 +35,9 @@ C'est le programme qui implémente un solveur SAT en multi threads. Il ne possè
|
|
|
Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
-- -t int : Le nombre de threads à utiliser
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché
|
|
|
-- -m int : Le nombre maximum d'itération avant l'arret du programme
|
|
|
+- -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)
|
|
|
|
|
|
Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
@@ -68,7 +68,7 @@ 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
|
|
|
+- -t int : Le nombre de threads à utiliser (optionnel, par défaut 4)
|
|
|
|
|
|
Exemple de commande (celle exécutée par `make run`) :
|
|
|
|
|
@@ -93,9 +93,9 @@ Le programme se lance avec la commande suivante :
|
|
|
Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
-- -t int : Le nombre de threads à utiliser
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché
|
|
|
-- -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)
|
|
|
+- -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)
|
|
|
|
|
|
Exemple de commande (celle exécutée par `make epsilon`) :
|
|
|
|
|
@@ -116,10 +116,10 @@ Le programme se lance avec la commande suivante :
|
|
|
Les arguments sont les suivants :
|
|
|
|
|
|
- -i file.cnf : Le chemin vers le fichier cnf à résoudre
|
|
|
-- -t int : Le nombre de threads à utiliser
|
|
|
-- -s : Active le mode silencieux seul la satisfaisabilité (ou non) est affiché
|
|
|
-- -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)
|
|
|
-- -d : Utilisation d'un alpha dynamique qui évolue entre 0.4 et 0.6
|
|
|
+- -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)
|
|
|
+- -d : Utilisation d'un alpha dynamique qui évolue entre 0.4 et 0.6 (optionnel)
|
|
|
|
|
|
Exemple de commande (celle éxécuté par `make start`) :
|
|
|
|