* seen packages is a set

* simplify 'visited' in solver depth-first-search

* remove pointless return code

* node.reachable() is always empty after the search

because node.seen has been fully populated

* remove node.seen in solver