cp-solvers-mp4