From 0b1e3f3139e2a79be2ba84d2e34fc985b93a21d1 Mon Sep 17 00:00:00 2001
From: sajadabvi <abavisani@me.com>
Date: Wed, 21 Feb 2024 11:42:19 -0500
Subject: [PATCH] report all optimization costs

---
 gunfolds/utils/clingo.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gunfolds/utils/clingo.py b/gunfolds/utils/clingo.py
index ff77fd41..465bc094 100644
--- 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