Merged problem and solver for bottom-up.