The presentation of the new solver for pkgng.