Completed value iteration with COIN-OR (CLP) pruning. Still need to do unit tests.