sat_parser.py

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