Merge branch 'master' of github.com:dopefishh/mc1516pa

diff --combined modelchecker/main.c
index 742feba,232bac6..e799d77
--- 1/modelchecker/main.c
--- 2/modelchecker/main.c
+++ b/modelchecker/main.c
@@@ -22,7 -22,7 +22,7 @@@ void usage(char *prg
                "\t%s [opts] [FILE]\n"
                "\n"
                "Options:\n"
 -              "\t-l LURD lURD verification strategy\n"
 +              "\t-l LURD initial LURD\n"
                "\t-v      enable verbose output\n"
                "\t-h      show this help\n"
                "\n"
@@@ -104,7 -104,7 +104,7 @@@ int solve(FILE *inputstream, char *lurd
        }
        //int iteration = 0;
  
-       bool found = false;
+       //bool found = false;
      /*
        while(new != old){
                DPRINT("Iteration %d\n", iteration++);
@@@ -134,7 -134,7 +134,7 @@@
              l = l->next;
          }
          printf("\n");
-     } else found = 0;
+     }
  
  
        time_end_solve = clock();
@@@ -147,10 -147,12 +147,12 @@@
        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;
  }