added command line arguments

+ went back to slow method of computing solution set.
the solution set is not in general connected, so we
need a better way of pruning it.