implementation of a DP for PhOpt