Arthur Brandao
2c7b459db7
Amélioration help
|
há 6 anos atrás | |
|---|---|---|
| .. | ||
| GSAT | há 6 anos atrás | |
| Main.cpp | há 6 anos atrás | |
| Makefile | há 6 anos atrás | |
| ReadMe.txt | há 6 anos atrás | |
| color.h | há 6 anos atrás | |
ReadMe.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf