chiark / gitweb /
makefile representing current best effort
[moebius2.git] / minimise.h
index 28bef2c9e7eb9f296bfaa4dfd11b236cafc71b31..a0761250e28ae5131988c0c10f7bed321bb16a4f 100644 (file)
@@ -25,6 +25,7 @@ double rim_proximity_cost(const Vertices vertices);
 extern const char *input_file, *best_file;
 extern char *best_file_tmp;
 extern long long evaluations;
+extern double stop_epsilon;
 
 enum printing_instance { pr_cost, pr_size, pr__max };
 int printing_check(enum printing_instance, int indent);