We will need a dists dictionary of installed packages
Comment out the "old way first" code
Add the ability to use PB to find the minimal SAT solutions
Fix an API breakage