This can far more easily be done by topological sorting. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		wolfgke on Oct 3, 2012 \| parent \| context \| favorite \| on: The Z3 theorem prover is now open source 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