Create sat_parser.py

sat_parser.py

@@ -0,0 +1,15 @@
+def parse_sat(formula: str):
+    """
+    Parses CNF SAT formula:
+    (x1|x2|x3)&(~x1|x4|x5)
+    """
+    formula = formula.replace(" ", "")
+    clauses = formula.split("&")
+    parsed = []
+
+    for clause in clauses:
+        clause = clause.replace("(", "").replace(")", "")
+        literals = clause.split("|")
+        parsed.append(literals)
+
+    return parsed