Arthur Brandao
2d311fac72
Restructuration dossier
|
hace 7 años | |
|---|---|---|
| .. | ||
| GSAT | hace 7 años | |
| Main.cpp | hace 7 años | |
| Makefile | hace 7 años | |
| README.txt | hace 7 años | |
| color.h | hace 7 años | |
README.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf