We desire to add dynamic programming improvements to STAMINA which would prevent re-exploration of states within every iteration of the breadth-first search.