Merge pull request #107 from QuMuLab/simplify-tautologies

Fix for the tautology bug in nnf.
QuMuLab · Dec 13, 2022 · 92d3478 · 92d3478
2 parents 5570cbb + 7dd551e
commit 92d3478
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bauhaus/utils.py b/bauhaus/utils.py
@@ -173,7 +173,7 @@ def _nnfify(lit):
     if not T.satisfiable():
         return 0
 
-    return dsharp.compile(T.to_CNF(), smooth=True).model_count()
+    return dsharp.compile(T.to_CNF(simplify=False), smooth=True).model_count()
 
 def likelihood(base_formula, lit):
     return count_solutions(base_formula, [lit]) / count_solutions(base_formula)