code: public static List<Formula> readCNF(final String fileName, final FormulaFactory f) throws IOException {
      return readCNF(new File(fileName), f, "v");
    }
docs: Reads a given DIMACS CNF file and returns the contained clauses as a list of formulas.
  @param fileName the file name
  @param f        the formula factory
  @return the list of formulas (clauses)
  @throws IOException if there was a problem reading the file