code: public static MiniSat miniCard(final FormulaFactory f, final MiniSatConfig config) {
      return new MiniSat(f, SolverStyle.MINICARD, config, null);
    }
docs: Returns a new MiniCard solver with a given configuration.
  @param f      the formula factory
  @param config the configuration
  @return the solver