[hulitu]

> human SAT solver trying to safely order hundreds of lexicographically ordered start and stop scripts

Your doing it wrong. You don't want too many services on a single server.

[xyzzy_plugh]

Where did I mention anything about servers? The scenario I was referring to involved maintaining a large set of packages for a distribution, each of which may or may not be installed.