Ondokuz / python-solv

dependency solver using a satisfiability algorithm (Python2 bindings)