OBS solver and repository management using libsolv