ensure toplevel list for naive mus variant

CPMpy · Aug 26, 2023 · e9d166b · e9d166b
1 parent 3511d6d
commit e9d166b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cpmpy/tools/mus.py b/cpmpy/tools/mus.py
@@ -73,6 +73,9 @@ def mus_naive(soft, hard=[], solver="ortools"):
         :param: hard: hard constraints, optional, list of expressions
         :param: solver: name of a solver, see SolverLookup.solvernames()
     """
+    # ensure toplevel list
+    soft = toplevel_list(soft, merge_and=False)
+
     m = Model(hard+soft)
     assert not m.solve(solver=solver), "MUS: model must be UNSAT"