diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index 57b4fd48b..4f4e4bee5 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -7490,6 +7490,11 @@ class Optimize(Z3PPObject):
         if id is None:
             id = ""
         id = to_symbol(id, self.ctx)
+        if isinstance(arg, iterable):
+            for a in arg:
+                v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, a.as_ast(), weight, id)
+                yield OptimizeObjective(self, v, False)
+            return
         v = Z3_optimize_assert_soft(self.ctx.ref(), self.optimize, arg.as_ast(), weight, id)
         return OptimizeObjective(self, v, False)