Lien du git

Dimitri a fait un git
Le lien : https://github.com/Zooff/CSP_Project
Pour contribuer:
 - s'inscrire dans https://github.com
 - demander à Dimitri de vous ajouter en collaborateur dans le projet
 - faire des commites/pull request

J'ai essayé de DL le projet sur le github pour resoudre le probleme d'infinité dans le forward checking ..

Mais le make ne reussit pas : le lien de la bibliotheque math.h ne semble pas se faire correctement .. CF :

arbre.o: dans la fonction « evalue_contrainte »:
/home/vinhas/Bureau/CSP_Project-master/Donnees/arbre.c:93: référence indéfinie vers « sqrt »
/home/vinhas/Bureau/CSP_Project-master/Donnees/arbre.c:94: référence indéfinie vers « sin »
/home/vinhas/Bureau/CSP_Project-master/Donnees/arbre.c:95: référence indéfinie vers « cos »
/home/vinhas/Bureau/CSP_Project-master/Donnees/arbre.c:96: référence indéfinie vers « tan »

le problème dans le forward checking vient du fait qu'on n'a pas initialisé le champ ID des variables (actuellement chaque variable à son ID à -1)

ton erreur vient de la phase de "linkage". le compilateur n'a pas réussit à linker la librairie math. c'est bizarre car dans le Makefile il y a bien l'option -lm permettant de link cette librairie.

essaye de compiler avec cette commande une fois que tu as tous les fichier .o (oublie pas de télécharger la dernière version du projet avant)

gcc -Wall -g main.c y.tab.o lex.o variable.o xmalloc.o domaine.o pile_domaines.o arbre.o  listeContrainte.o backtrack.o -o main  -lm

au cas où les autres commandes permetant d'avoir les .o

yacc -d yacc.y -o y.tab.c
gcc -o y.tab.o -c y.tab.c -Wall -lm -g
flex -o lex.yy.c lex.l
lex -t lex.l > lex.c
gcc -o lex.o -c lex.c -Wall -lm -g
gcc -o variable.o -c variable.c -Wall -lm -g
gcc -o xmalloc.o -c xmalloc.c -Wall -lm -g
gcc -o domaine.o -c domaine.c -Wall -lm -g
gcc -o pile_domaines.o -c pile_domaines.c -Wall -lm -g
gcc -o arbre.o -c arbre.c -Wall -lm -g
gcc -o listeContrainte.o -c listeContrainte.c -Wall -lm -g
gcc -o backtrack.o -c backtrack.c -Wall -lm -g