Merge pull request #25 from neuroneural/fixopt

report all optimization costs
neuroneural · Feb 21, 2024 · e516cd7 · e516cd7
2 parents 308da18 + 0b1e3f3
commit e516cd7
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