A pragmatic toolkit for dynamic programming.