Switch to using libsolv instead of satsolver