dimacsFormat :: FeatureExpression -> CNF
dimacsFormat exp =
    let vars = getVars exp
        cs = map (expToLiterals vars) (getClauses exp)
        in CNF {
            numVars = length vars,
            numClauses = length cs,
            clauses =  S.fromList cs
            }
dimacsFormat :: FeatureExpression -> CNF
dimacsFormat exp =
    let vars = getVars exp
        cs = map (expToLiterals vars) (getClauses exp)
        in CNF {
            numVars = length vars,
            numClauses = length cs,
            clauses =  S.fromList cs
            }
dimacsFormat exp =
    let vars = getVars exp
        cs = map (expToLiterals vars) (getClauses exp)
        in CNF {
            numVars = length vars,
            numClauses = length cs,
            clauses =  S.fromList cs
            }