another example: package dependencies resolution on Linux distributions. | Hacker News

HN2new | past | comments | ask | show | jobs | submit

		raphinou on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source another example: package dependencies resolution on Linux distributions.

wolfgke on Oct 3, 2012 [–]

This can far more easily be done by topological sorting.

gchpaco on Oct 3, 2012 | [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact