ecnf-ws / DynamicProgramming