Ondokuz / libsolvext0

dependency solver using a satisfiability algorithm (extensions)