include HiGHS as solvers in other (slow) tests

Author: rschwarz

test/dbft_test.py

@@ -4,6 +4,7 @@
 from os import environ
 from itertools import product
 import pytest
+import mip.highs
 from mip import (
     Model,
     BINARY,
@@ -13,13 +14,16 @@
     maximize,
     CBC,
     GUROBI,
+    HIGHS,
 )
 
 TOL = 1e-4
 
 SOLVERS = [CBC]
 if "GUROBI_HOME" in environ:
     SOLVERS += [GUROBI]
+if mip.highs.has_highs:
+    SOLVERS += [HIGHS]
 
 # for each pair o N, tMax, the expected: (optimal, columns, rows, non-zeros)
 PDATA = {

test/examples_test.py

@@ -8,12 +8,16 @@
 import importlib.machinery
 import pytest
 
+import mip.highs
+
 
 EXAMPLES = glob(join("..", "examples", "*.py")) + glob(join(".", "examples", "*.py"))
 
 SOLVERS = ["cbc"]
 if "GUROBI_HOME" in environ:
     SOLVERS += ["gurobi"]
+if mip.highs.has_highs:
+    SOLVERS += ["HiGHS"]
 
 
 @pytest.mark.parametrize("solver, example", product(SOLVERS, EXAMPLES))

test/mip_files_test.py

@@ -7,7 +7,8 @@
 from itertools import product
 import pytest
 import mip
-from mip import Model, OptimizationStatus, GUROBI, CBC
+import mip.highs
+from mip import Model, OptimizationStatus, GUROBI, CBC, HIGHS
 
 # for each MIP in test/data, best lower and upper bounds
 # to be used when checking optimization results
@@ -89,6 +90,8 @@
 SOLVERS = [CBC]
 if "GUROBI_HOME" in environ:
     SOLVERS += [GUROBI]
+if mip.highs.has_highs:
+    SOLVERS += [HIGHS]
 
 # check availability of test data
 DATA_DIR = join(join(dirname(mip.__file__)[0:-3], "test"), "data")

test/mip_test.py

@@ -2,8 +2,9 @@
 from itertools import product
 import pytest
 import networkx as nx
+import mip.highs
 from mip import Model, xsum, OptimizationStatus, MAXIMIZE, BINARY, INTEGER
-from mip import ConstrsGenerator, CutPool, maximize, CBC, GUROBI, Column
+from mip import ConstrsGenerator, CutPool, maximize, CBC, GUROBI, HIGHS, Column
 from os import environ
 import math
 
@@ -12,6 +13,8 @@
 SOLVERS = [CBC]
 if "GUROBI_HOME" in environ:
     SOLVERS += [GUROBI]
+if mip.highs.has_highs:
+    SOLVERS += [HIGHS]
 
 
 @pytest.mark.parametrize("solver", SOLVERS)

test/rcpsp_test.py

@@ -5,7 +5,8 @@
 import json
 from itertools import product
 import pytest
-from mip import CBC, GUROBI, OptimizationStatus
+import mip.highs
+from mip import CBC, GUROBI, HIGHS, OptimizationStatus
 from mip_rcpsp import create_mip
 
 INSTS = glob("./data/rcpsp*.json") + glob("./test/data/rcpsp*.json")
@@ -15,6 +16,8 @@
 SOLVERS = [CBC]
 if "GUROBI_HOME" in environ:
     SOLVERS += [GUROBI]
+if mip.highs.has_highs:
+    SOLVERS += [HIGHS]
 
 
 @pytest.mark.parametrize("solver, instance", product(SOLVERS, INSTS))

test/two_dim_pack_test.py

@@ -5,7 +5,8 @@
 import json
 from itertools import product
 import pytest
-from mip import CBC, GUROBI, OptimizationStatus
+import mip.highs
+from mip import CBC, GUROBI, HIGHS, OptimizationStatus
 from mip_2d_pack import create_mip
 
 INSTS = glob("./data/two_dim_pack_p*.json") + glob(
@@ -17,6 +18,8 @@
 SOLVERS = [CBC]
 if "GUROBI_HOME" in environ:
     SOLVERS += [GUROBI]
+if mip.highs.has_highs:
+    SOLVERS += [HIGHS]
 
 
 @pytest.mark.parametrize("solver, instance", product(SOLVERS, INSTS))