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