http://gitorious.org/opensuse/sat-solver/trees/master looks like it has great potential to do what we need. It even has a simple package management system included as an example. What we need to know:
- How portable is it? Does it need a lot of work to be functional on Windows?
- Does it bring in an unacceptable number of external dependencies?
- How much of the Python packaging infrastructure (e.g. Pip, Distutils2) could it render obsolete?