infinity: Make coefficients slightly weaker

2017-08-09 08:00:52 -04:00
parent 53553c4db5
commit 0f4480a16d
1 changed files with 1 additions and 0 deletions
--- a/infinity/library/src/infinity.c
+++ b/infinity/library/src/infinity.c
@@ -154,6 +154,7 @@ static int create_cut_from_lfree(const struct Tableau *tableau,
            abort_if(rval, "INFINITY_psi failed");
        }

+        value *= 1.001;
        log_verbose("   psi[%4d] = %20.12lf %d\n", map->indices[i], value);

        cut->indices[i] = map->indices[i];