Arthur Brandao
7b6215fd66
Renommage fichier ReadMe
|
il y a 6 ans | |
|---|---|---|
| .. | ||
| GSAT | il y a 6 ans | |
| Main.cpp | il y a 6 ans | |
| Makefile | il y a 6 ans | |
| ReadMe.txt | il y a 6 ans | |
| color.h | il y a 6 ans | |
ReadMe.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf