code: public static MiniSat glucose(final FormulaFactory f) {
      return new MiniSat(f, SolverStyle.GLUCOSE, new MiniSatConfig.Builder().build(), new GlucoseConfig.Builder().build());
    }
docs: Returns a new Glucose solver.
  @param f the formula factory
  @return the solver