https://research.swtch.com/version-sat Я знал что нахождение версии зависимости удовлетворяющей разным требованиям других это непростая задача, но не ожидал что всё это заканчивается в десятках систем вообще применением SAT solver-ов.