I wanted to have an overview of pisi, which seems to be an interesting
package manager in python (for the Pardus linux distrib), and I felt on
a small paper formalizing how the dependency resolution is done.
I found it interesting so wanted to share it with others
There are also many neat features :
pacman-dev mailing list