Arthur Brandao
035d334025
Correction bug arret hybride
|
6 rokov pred | |
|---|---|---|
| .. | ||
| GSAT | 6 rokov pred | |
| GSATThreadMPI.cpp | 6 rokov pred | |
| GSATThreadMPI.hpp | 6 rokov pred | |
| Main.cpp | 6 rokov pred | |
| Main.hpp | 6 rokov pred | |
| Makefile | 6 rokov pred | |
| README.txt | 6 rokov pred | |
| color.h | 6 rokov pred | |
README.txt
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf