This website works better with JavaScript
Home
Verkennen
Help
Inloggen
Artois
/
gsat-solver
Volgen
2
Ster
0
Vork
0
Bestanden
Issues
0
Pull-aanvragen
0
Wiki
Boom:
2c7b459db7
Aftakkingen
Labels
master
gsat-solver
/
Partie_1
/
MPI
Arthur Brandao
2c7b459db7
Amélioration help
6 jaren geleden
..
GSAT
2d311fac72
Restructuration dossier
6 jaren geleden
Main.cpp
2c7b459db7
Amélioration help
6 jaren geleden
Makefile
2d311fac72
Restructuration dossier
6 jaren geleden
ReadMe.txt
7b6215fd66
Renommage fichier ReadMe
6 jaren geleden
color.h
2d311fac72
Restructuration dossier
6 jaren geleden
ReadMe.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf