Ondokuz / libsolv0

dependency solver using a satisfiability algorithm (shared library)