Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- //---Creation des clauses pour la contrainte : un pigeon doit etre au maximum dans un nid
- for(i=1; i<=nbPigeons; i++){
- //---Pigeon i dans un nid j. Litteral de la forme : Pij
- for(j=1; j<nbPigeons; j++){
- sprintf(clause, "%d", j*(-1));
- fputs(clause,fichier);
- fputs(" ",fichier);
- }
- //---Ajout du zero en fin ed ligne
- sprintf(clause, "%d", 0);
- fputs(clause,fichier);
- fputs("\n",fichier);
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement