A paper related with the Mancoosi project was recently presented at the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, which took place in Udine, Italy, on 12-13 December 2008. The paper was co-authored by Josep Argelich and myself and studies different SAT-based approaches for tackling the installation of software packages. We were able to evaluate the hardness of these instances and what is required to solve the conflicts between packages with the smallest impact. The next step will be extending this approach to the upgradeability problem, making use of the instances that are being produced in the Mancoosi project.