úÎÓ" FThe 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.2Language.CNF.Parse.ParseDIMACSClauseCNFnumVars numClausesclauses parseFileparseByteStringcnf cnfHeaderclausenaturalint