This gist is me trying to understand dependency resolving problem, and how various extensions to constraint language affect it.
It's hard to summarise, you better just read a gist.
Gist source
twitter github email linkedin stackoverflow