}
//int iteration = 0;
- bool found = false;
+ //bool found = false;
/*
while(new != old){
DPRINT("Iteration %d\n", iteration++);
l = l->next;
}
printf("\n");
- } else found = 0;
+ }
time_end_solve = clock();
REPORT("Relation encoding: %fs\n", time_end_rel, time_start_rel);
REPORT("Solving encoding: %fs\n", time_end_solve, time_start_solve);
+ /*
if(!found){
printf("no solution\n");
return 1;
}
+ */
return 0;
}