A SAT-based dependency solver in python strongly inspired by Composer