Ondokuz / libsolv0-dev

dependency solver using a satisfiability algorithm (development files)