From: Sergey Matveev <stargrave@stargrave.org>
Date: Mon, 12 Jul 2021 19:25:00 +0000 (+0300)
Subject: Разрешение версий ада зависимостей
X-Git-Url: http://www.git.stargrave.org/?a=commitdiff_plain;h=a064e3a086a063863ee04cb04acea655a177f229;p=stargrave-blog.git

Разрешение версий ада зависимостей

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