report all optimization costs

neuroneural · Feb 21, 2024 · 0b1e3f3 · 0b1e3f3
1 parent 308da18
commit 0b1e3f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gunfolds/utils/clingo.py b/gunfolds/utils/clingo.py
@@ -143,7 +143,7 @@ def clingo(command, exact=True,
         return {}
     else:
         if not exact:
-            r = {(convert(value[0]), value[1][0]) for value in result[0]}
+            r = {(convert(value[0]), sum(value[1])) for value in result[0]}
         else:
             r = {convert(value[0]) for value in result[0]}
     return r