Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT/MaxSAT солверов для множественных пакетных менеджеров.
# Из PyPI
pip install package-maximizer
# Из исходного кода (с доп. зависимостями)
git clone https://github.com/dominicusin/package-maximizer.git
cd package-maximizer
pip install -e ".[all]"