X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=matchsticks-search.git;a=blobdiff_plain;f=main.c;h=94baac77aba2287287db6334185976a9b9393677;hp=f8348cbf4860cc6fb05a235a0ba0d256580c9ce3;hb=421c57a15df6c1d1609b9902b8f8cc3067b6149c;hpb=89e27900d9d197cc320f7697c61059a5670c86bb diff --git a/main.c b/main.c index f8348cb..94baac7 100644 --- a/main.c +++ b/main.c @@ -20,6 +20,8 @@ static double best; static glp_prob *best_prob; static AdjWord *best_adjmatrix; +static unsigned printcounter; + static AdjWord *xalloc_adjmatrix(void) { return xmalloc(sizeof(*adjmatrix)*n); } @@ -41,17 +43,17 @@ static int count_set_adj_bits(AdjWord w) { return total; } -static void optimise(void) { +static void optimise(int doprint) { glp_prob *prob = 0; int i, j, totalfrags; for (i=0, totalfrags=0; i= n) { - optimise(); + printcounter++; + optimise(!(printcounter & 0xfff)); return; } for (adjmatrix[i] = min;