Currently, the solver has been only tested with without-replacement strategy. Support with-replacement too going forward.