Arthur Brandao
3e035b0acf
Correction help
|
%!s(int64=6) %!d(string=hai) anos | |
|---|---|---|
| .. | ||
| GSAT | %!s(int64=6) %!d(string=hai) anos | |
| Main.cpp | %!s(int64=6) %!d(string=hai) anos | |
| Makefile | %!s(int64=6) %!d(string=hai) anos | |
| ReadMe.txt | %!s(int64=6) %!d(string=hai) anos | |
| color.h | %!s(int64=6) %!d(string=hai) anos | |
ReadMe.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf