enable cuts

jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/ILPDirectSolver.java

@@ -207,8 +207,14 @@ public class ILPDirectSolver extends AbstractILPSolver {
 
     GLPK.glp_scale_prob(prob, GLPKConstants.GLP_SF_AUTO);
 
-    // TODO binarize may be needed
-//    parm.setBinarize(GLPKConstants.GLP_ON);
+    // the ILP is binary already
+//    param.setBinarize(GLPKConstants.GLP_ON);
+
+    // all cuts on
+    param.setClq_cuts(GLPKConstants.GLP_ON);
+    param.setMir_cuts(GLPKConstants.GLP_ON);
+    param.setGmi_cuts(GLPKConstants.GLP_ON);
+    param.setCov_cuts(GLPKConstants.GLP_ON);
 
     // -- Msg_lev --
     // No output (0)	No output.

jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/ILPExternalSolver.java

@@ -104,6 +104,7 @@ public class ILPExternalSolver extends AbstractILPSolver {
     String command = "glpsol --lp " + lp.toAbsolutePath() +
 //        " -w " + solution.toAbsolutePath() +
         " --tmlim " + remainingTimeForSolvingInMillis/1000 +
+        " --cuts" +
         " -o " + solutionReadable.toAbsolutePath();
     logger.debug("Call: '{}'", command);
     try {