Artois/gsat-solver: Projet SPD Master 1 Université d'Artois 2018-2019 @ 46b3dfee383b4857a8de40d032a888d06770be2f

Arthur Brandao f9667de686 :fire: Suppr fichier inutile		пре 6 година
..
GSAT	f9667de686 :fire: Suppr fichier inutile	пре 6 година
GSATThread.cpp	f2d93363d9 :tada:	пре 6 година
GSATThread.hpp	f2d93363d9 :tada:	пре 6 година
Main.cpp	f2d93363d9 :tada:	пре 6 година
Makefile	f2d93363d9 :tada:	пре 6 година
README.txt	f2d93363d9 :tada:	пре 6 година
color.h	f2d93363d9 :tada:	пре 6 година

		
				README.txt
			
make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf