Arthur Brandao
f2d93363d9
:tada:
|
před 6 roky | |
|---|---|---|
| .. | ||
| GSAT | před 6 roky | |
| GSATSolver | před 6 roky | |
| GSATThread.cpp | před 6 roky | |
| GSATThread.hpp | před 6 roky | |
| GSATThread.o | před 6 roky | |
| Main.cpp | před 6 roky | |
| Main.o | před 6 roky | |
| Makefile | před 6 roky | |
| README.txt | před 6 roky | |
| color.h | před 6 roky | |
README.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf