Consider implementing https://github.com/LuChengTHU/dpm-solver
Consider implementing https://github.com/LuChengTHU/dpm-solver