Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT солверов для множественных пакетных менеджеров.
- Поддержка множественных пакетных менеджеров: pacman, apt, dnf, zypper, brew, Spack и другие
- Различные солверы: Z3, PuLP, OR-Tools, MaxSAT, MiniSat
- Параллельное решение: одновременный запуск нескольких солверов
- Веб-интерфейс: интуитивный веб-интерфейс с визуализацией
- CLI инструменты: мощный командный интерфейс
- Бенчмаркинг: сравнение производительности солверов
- Модульная архитектура: легко расширяемая система
- Python 3.8+
- Один или несколько поддерживаемых солверов
# Из исходного кода
git clone https://github.com/dominicusin/package-maximizer.git
cd package-maximizer
pip install -e ".[all]"