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