Added satisfiability to logger

dkoh0207 · Mar 7, 2024 · 7626aa8 · 7626aa8
1 parent d71b317
commit 7626aa8
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/analysis/producers/logger.py b/analysis/producers/logger.py
@@ -652,6 +652,14 @@ def matched(ia):
             out['matched'] = ia.matched
         return out
 
+    @staticmethod
+    @tag('reco')
+    def satisfiability(ia):
+        out = {'satisfiability': -1.0}
+        if ia is not None:
+            out['satisfiability'] = ia.satisfiability
+        return out
+
     @staticmethod
     def is_principal_match(ia):
         out = {'is_principal_match': False}