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

Arthur Brandao 2c7b459db7 Amélioration help		6 년 전
..
GSAT	2d311fac72 Restructuration dossier	6 년 전
Main.cpp	2c7b459db7 Amélioration help	6 년 전
Makefile	2d311fac72 Restructuration dossier	6 년 전
ReadMe.txt	7b6215fd66 Renommage fichier ReadMe	6 년 전
color.h	2d311fac72 Restructuration dossier	6 년 전

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