Kezdőlap Felfedezés Súgó
Bejelentkezés
Artois
/
gsat-solver
2
0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: 7b6215fd66
Branch-ok Tag-ek
gsat-solver
/
Partie_1
/
Thread
Arthur Brandao 7b6215fd66 Renommage fichier ReadMe 6 éve
..
GSAT 2d311fac72 Restructuration dossier 6 éve
GSATThread.cpp 2d311fac72 Restructuration dossier 6 éve
GSATThread.hpp 2d311fac72 Restructuration dossier 6 éve
Main.cpp 2d311fac72 Restructuration dossier 6 éve
Makefile 2d311fac72 Restructuration dossier 6 éve
ReadMe.txt 7b6215fd66 Renommage fichier ReadMe 6 éve
color.h 2d311fac72 Restructuration dossier 6 éve

ReadMe.txt


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