From 83f8384f66ddb1d86567c928bdb102174c70cba0 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 29 Jul 2019 15:36:28 +0200 Subject: Fix CBC timeout --- .../ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp') diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp index ffd35759..34cab1dd 100644 --- a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp @@ -154,7 +154,9 @@ jint SolveModel(CoinModel &build, jdouble timeoutSeconds, jboolean silent, jdoub solver.loadFromCoinModel(build); CbcModel model{solver}; - model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); + if (timeoutSeconds >= 0) { + model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); + } if (silent == JNI_FALSE) { model.messageHandler()->setLogLevel(2); model.solver()->messageHandler()->setLogLevel(1); -- cgit v1.2.3-70-g09d2