Apt-pbo: solving the software dependency problem using pseudo-boolean optimization