Libsolv is a free, efficient package dependency solver that utilizes a satisfiability algorithm and...