↓ Перейти к основному содержимому
Dominicus In

Модульная система для максимизации непротиворечивого множества пакетов

⌬ Python
GitHub ↗ Wiki ↗

Package Maximizer 📦🔍
#

CI/CD
codecov
PyPI version
License: MIT

Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных 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]"

Похожие репозитории