No max memory for Z3 opt

CPMpy · Jun 6, 2024 · efb2854 · efb2854
1 parent d817f44
commit efb2854
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/xcsp3/executable/main.py b/xcsp3/executable/main.py
@@ -336,7 +336,8 @@ def z3_arguments(args: Args, model:cp.Model):
     # Opt parameters
     if args.opt:
         res |= {
-            "memory_max_size": bytes_as_mb(remaining_memory(args.mem_limit)) if args.mem_limit is not None else None,
+            # opt does not seem to support setting max memory
+            # "memory_max_size": bytes_as_mb(remaining_memory(args.mem_limit)) if args.mem_limit is not None else None,
         }
 
     return {k:v for (k,v) in res.items() if v is not None}