On Implementation of Dynamic Programming for Optimal Control Problems with Final State Constraints | Synapse