GitHub - Ribooki/CPLX

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 124 Commits
.idea		.idea
SAT		SAT
files		files
Makefile		Makefile
README		README
SATToDesert.c		SATToDesert.c
SATToDesert.h		SATToDesert.h
desertToSAT.c		desertToSAT.c
desertToSAT.h		desertToSAT.h
graphUtils.c		graphUtils.c
graphUtils.h		graphUtils.h
main.c		main.c
maximal.c		maximal.c
maximal.h		maximal.h
maximum.c		maximum.c
maximum.h		maximum.h
readFile.c		readFile.c
readFile.h		readFile.h
satUtils.c		satUtils.c
satUtils.h		satUtils.h
testDesertToSAT.c		testDesertToSAT.c
testMaximal.c		testMaximal.c
testVerification.c		testVerification.c
testVerification.h		testVerification.h
utils.c		utils.c
utils.h		utils.h
verification.c		verification.c
verification.h		verification.h

Repository files navigation

Pour compiler le programme principal :
	make
Pour lancer le programme :
	./main fichier
Pour lancer le programme avec un fichier par défaut :
	make run

Pour compiler le test de la question 1 :
	make testV
Pour lancer :
	./testV fichier

Pour compiler le test de la question 2 :
	make testM
Pour lancer :
	./testM fichier

Pour compiler le test de desertToSAT  :
	make testDesertToSAT
Pour lancer :
	./testDesertToSAT fichier