From e9d166b276e05860f236021ffed736a9f4ce8b84 Mon Sep 17 00:00:00 2001
From: Ignace Bleukx <ignace.bleukx@kuleuven.be>
Date: Fri, 25 Aug 2023 20:21:45 -0400
Subject: [PATCH] ensure toplevel list for naive mus variant

---
 cpmpy/tools/mus.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cpmpy/tools/mus.py b/cpmpy/tools/mus.py
index 9acb2da6c..819970035 100644
--- 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"