Remove non-deterministic set operation in dnf normalize (related: #45).

probsys · Mar 2, 2020 · ce75b1a · ce75b1a
1 parent 929a27c
commit ce75b1a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/dnf.py b/src/dnf.py
@@ -80,10 +80,10 @@ def dnf_normalize(event):
     ]))
     if not solutions:
         return None
-    conjunctions = set([
+    conjunctions = [
         reduce(lambda x, e: x & e, [(symbol << S) for symbol, S in clause])
-        for clause in solutions
-    ])
+        for i, clause in enumerate(solutions) if clause not in solutions[:i]
+    ]
     disjunctions = reduce(lambda x, e: x|e, conjunctions)
     return disjunctions.to_dnf()