code: public static EncodingResult resultForMiniSat(final FormulaFactory f, final MiniSat miniSat) {
      return new EncodingResult(f, miniSat, null);
    }
docs: Constructs a new result which adds the result directly to a given MiniSat solver.
  @param f       the formula factory
  @param miniSat the solver
  @return the result