LIBSOLV(3) - manual page | Library functions

Package dependency solver library using a satisfiability algorithm.