diff --git a/tests/minizinc_testing/spec.py b/tests/minizinc_testing/spec.py index 1f46eaa78..b6aa9fd7b 100644 --- a/tests/minizinc_testing/spec.py +++ b/tests/minizinc_testing/spec.py @@ -19,7 +19,7 @@ class Test: def __init__(self, **kwargs): self.name = yaml.Undefined - self.solvers = ["gecode", "cbc", "chuffed", "highs"] + self.solvers = ["cp-sat", "gecode", "cbc", "chuffed", "highs", "scip"] self.check_against = [] self.expected = [] self.options = {}