📦 package-maximizer

PyPI version PyPI downloads Python License Documentation status

Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT/MaxSAT солверов для множественных пакетных менеджеров.

📖 Полная документация: package-maximizer.readthedocs.io — основной источник справки (API, руководства, туториалы).

🚀 Установка

# Из PyPI
pip install package-maximizer

# Из исходного кода (с доп. зависимостями)
git clone https://github.com/dominicusin/package-maximizer.git
cd package-maximizer
pip install -e ".[all]"

🎯 Назначение

🧠 Поддерживаемые солверы

GreedySolver

Базовый жадный алгоритм

EnhancedGreedySolver

Жадный с поддержкой версий

Z3Solver

SMT-солвер на основе Z3

PulPSolver

ILP-солвер на основе PuLP

ORToolsSolver

CP-SAT на основе OR-Tools

MaxSatSolver

MaxSAT-солвер

MiniSatSolver

SAT-солвер на основе MiniSat

🔗 Ресурсы

📖 Документация (RTD) 📦 Страница на PyPI 💻 Репозиторий GitHub 🐛 Сообщить об ошибке