Add DP-based solver