remove extra testing

Author: beckydvn

nnf/__init__.py

@@ -1881,46 +1881,4 @@ def __call__(self, **settings: str) -> _ConfigContext:
 config = _Config()
 
 
-from nnf import amc, dsharp, kissat, operators, pysat, tseitin  # noqa: E402
-
-"""
-# test nnf nesting - and
-print()
-nnf_formula = Var(1)
-for i in range(10):
-    nnf_formula = nnf_formula & Var(i)
-print(nnf_formula)
-print(flatten(nnf_formula, And))
-
-nnf_formula_2 = Var(10)
-for i in range(11, 20):
-    nnf_formula_2 = nnf_formula_2 & Var(i)
-nnf_formula_3 = nnf_formula & nnf_formula_2
-print()
-print(nnf_formula_3)
-print(flatten(nnf_formula_3, And))
-
-# test nnf nesting - or
-print()
-nnf_formula = Var(1)
-for i in range(10):
-    nnf_formula = nnf_formula | Var(i)
-print(nnf_formula)
-print(flatten(nnf_formula, Or))
-
-nnf_formula_2 = Var(10)
-for i in range(11, 20):
-    nnf_formula_2 = nnf_formula_2 | Var(i)
-nnf_formula_3 = nnf_formula | nnf_formula_2
-print()
-print(nnf_formula_3)
-print(flatten(nnf_formula_3, Or))
-"""
-
-#test nnf nesting - both and's and or's
-print()
-p, q, r, s, u = Var("p"), Var("q"), Var("r"), Var("s"), Var("u")
-nnf_formula = p | (((q | (u | ((p | s) & r)) & s)))
-print(nnf_formula)
-print()
-print(flatten(nnf_formula))
+from nnf import amc, dsharp, kissat, operators, pysat, tseitin  # noqa: E402