Arthur Brandao
3e035b0acf
Correction help
|
преди 6 години | |
|---|---|---|
| .. | ||
| GSAT | преди 6 години | |
| Main.cpp | преди 6 години | |
| Makefile | преди 6 години | |
| ReadMe.txt | преди 6 години | |
| color.h | преди 6 години | |
ReadMe.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf