diff options
Diffstat (limited to 'Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc')
-rw-r--r-- | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/cpp/viatracbc.cpp | 4 | ||||
-rwxr-xr-x | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so | bin | 33944 -> 33944 bytes |
2 files changed, 3 insertions, 1 deletions
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 | |||
154 | solver.loadFromCoinModel(build); | 154 | solver.loadFromCoinModel(build); |
155 | CbcModel model{solver}; | 155 | CbcModel model{solver}; |
156 | 156 | ||
157 | model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); | 157 | if (timeoutSeconds >= 0) { |
158 | model.setDblParam(CbcModel::CbcMaximumSeconds, timeoutSeconds); | ||
159 | } | ||
158 | if (silent == JNI_FALSE) { | 160 | if (silent == JNI_FALSE) { |
159 | model.messageHandler()->setLogLevel(2); | 161 | model.messageHandler()->setLogLevel(2); |
160 | model.solver()->messageHandler()->setLogLevel(1); | 162 | model.solver()->messageHandler()->setLogLevel(1); |
diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so index 4eae7de6..96289216 100755 --- a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so | |||
Binary files differ | |||