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