Adding select-5 solver for experiments.