Home Verkennen Help
Inloggen
Artois
/
gsat-solver
2
0
Vork 0
Bestanden Issues 0 Pull-aanvragen 0 Wiki

Projet SPD Master 1 Université d'Artois 2018-2019

Boom: 1990d2c742
Aftakkingen Labels
gsat-solver
ZIP TAR.GZ
Arthur Brandao 1990d2c742 Ajout ligne sur les bugs connues 6 jaren geleden
Hybride f2d93363d9 :tada: 6 jaren geleden
MPI f2d93363d9 :tada: 6 jaren geleden
Part_2 f2d93363d9 :tada: 6 jaren geleden
Thread f9667de686 :fire: Suppr fichier inutile 6 jaren geleden
benchmarks f2d93363d9 :tada: 6 jaren geleden
.gitignore f9667de686 :fire: Suppr fichier inutile 6 jaren geleden
PROJET SPD 2019.pdf f2d93363d9 :tada: 6 jaren geleden
PROJETSPD2019.zip f2d93363d9 :tada: 6 jaren geleden
ReadMe.md 1990d2c742 Ajout ligne sur les bugs connues 6 jaren geleden

ReadMe.md

Projet SPD

Arthur Brandoa M1 S2 2018-2019

Bug

Parfois dans la version hybride seul le processus qui a trouvé s'arrete et les autres contniuent jusqu'a tous avoir trouvé une réponse . Quand tout le monde à trouver le probleme bloque et ne se coupe pas