Partial implementation of factored_LP().
reachable_states()