Меня в принципе устроил бы тупой перебор в лоб
сомневаюсь, что тупой перебор возможен. например, комбинация твоих зависимостей a=x, b=y совместима, a=x+1, b=y+1 тоже совместимы, а a=x+1, b=y не собираются вместе. тулза такая в каком порядке будет перебирать версии и на какой остановится?