úÎn‰ Safe-InferredFThe number of variables in the problem as reported by the cnf header. DThe number of clauses in the problem as reported by the cnf header. )Parse a file containing DIMACS CNF data. IParse a byte string containing DIMACS CNF data. The source name is only 7 | used in error messages and may be the empty string.         parse-dimacs-1.3Language.CNF.Parse.ParseDIMACSClauseCNFnumVars numClausesclauses parseFileparseByteStringcnf cnfHeaderclausetpnaturalintsymbol whiteSpacelexeme