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