[raphinou]

another example: package dependencies resolution on Linux distributions.

[wolfgke]

This can far more easily be done by topological sorting.

[gchpaco]

That's not actually sufficient when you consider version requirements; for example requiring a specific range of libc or the like.