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