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