code: public static CleaneLing full(final FormulaFactory f) {
          return new CleaneLing(f, SolverStyle.FULL, new CleaneLingConfig.Builder().build());
      }
docs: Returns a new full CleaneLing solver.
  @param f the formula factory
  @return the solver