Почетна Преглед Помоћ
Пријавите се
Artois
/
gsat-solver
2
0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Дрво: f471d6233d
Гране Ознаке
gsat-solver
/
Partie_1
/
Thread
Arthur Brandao 2c7b459db7 Amélioration help пре 6 година
..
GSAT 2d311fac72 Restructuration dossier пре 6 година
GSATThread.cpp 2d311fac72 Restructuration dossier пре 6 година
GSATThread.hpp 2d311fac72 Restructuration dossier пре 6 година
Main.cpp 2c7b459db7 Amélioration help пре 6 година
Makefile 2d311fac72 Restructuration dossier пре 6 година
ReadMe.txt 7b6215fd66 Renommage fichier ReadMe пре 6 година
color.h 2d311fac72 Restructuration dossier пре 6 година

ReadMe.txt


make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf