Package Maximizer

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

🎯 Назначение

Система позволяет:

• Находить максимальное непротиворечивое подмножество пакетов
• Учитывать конфликты между пакетами
• Работать с разными пакетными менеджерами (APT, Pacman, DNF, Brew, Snap, Flatpak, Cargo, npm)
• Использовать различные алгоритмы решения (жадный, SAT, ILP, SMT, CP-SAT)
• Учитывать версионные ограничения и зависимости
• Экспортировать результаты в JSON, CSV и GraphML

✨ Возможности

🔧 Поддерживаемые пакетные менеджеры

• ✅ APT (Debian/Ubuntu)
• ✅ Pacman (Arch Linux)
• ✅ DNF (Fedora/RHEL/CentOS)
• ✅ Brew (macOS)

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

• ✅ GreedySolver — Базовый жадный алгоритм
• ✅ EnhancedGreedySolver — Улучшенный жадный алгоритм с поддержкой версий
• ✅ Z3Solver — SMT-солвер на основе Z3
• ✅ PulPSolver — ILP-солвер на основе PuLP
• ✅ ORToolsSolver — CP-SAT солвер на основе OR-Tools
• ✅ MaxSatSolver — SAT-солвер на основе MaxSAT
• ✅ MiniSatSolver — SAT-солвер на основе MiniSat

📊 Дополнительные функции

• ✅ Анализ результатов (ResultAnalyzer)
• ✅ Кэширование (CacheManager)
• ✅ Бенчмаркинг (BenchmarkRunner)
• ✅ Интеграция с реальными репозиториями (RealRepoIntegration)
• ✅ Поддержка версионных ограничений
• ✅ CLI интерфейс

📦 Установка

# Клонирование репозитория
git clone https://github.com/dominicusin/package-maximizer.git
cd package-maximizer

# Установка в режим разработки
pip install -e .

# Установка дополнительных зависимостей (для всех солверов)
pip install z3 python-sat pulp ortools

Варианты установки зависимостей

🚀 Быстрый старт

Использование через Python API

from package_maximizer import PackageMaximizer, Package

# Создание пакетов
pkg1 = Package(name="nginx", conflicts=["apache2"])
pkg2 = Package(name="apache2", conflicts=["nginx"])
pkg3 = Package(name="python3")
pkg4 = Package(name="postgresql")

# Создание максимайзера
maximizer = PackageMaximizer(
    manager='apt',
    solver='z3'  # или 'greedy', 'pulp', 'ortools', 'maxsat', 'minisat'
)

# Максимизация
result = maximizer.maximize([pkg1, pkg2, pkg3, pkg4])
print(f"Выбранные пакеты: {[p.name for p in result]}")
# Вывод: ['python3', 'postgresql', 'nginx'] или ['python3', 'postgresql', 'apache2']

Использование через CLI

# Максимизация пакетов
package-maximizer nginx apache2 python3 postgresql -c nginx,apache2 -s z3

# Просмотр доступных солверов
package-maximizer list-solvers

# Просмотр доступных парсеров
package-maximizer list-parsers

# Проверка версии
package-maximizer version

# Бенчмаркинг
package-maximizer benchmark --solvers greedy,z3 --packages 100 --runs 5

# Работа с реальными репозиториями
package-maximizer list-installed --manager apt --limit 10
package-maximizer search nginx --manager apt
package-maximizer info nginx --manager apt
package-maximizer check-updates --manager apt

🌐 REST API (веб-интерфейс)

Запуск сервера

pip install -e ".[web]"
pm-web

Аутентификация

Все эндпоинты (кроме /api/health) требуют API-ключ в заголовке X-API-Key.

Эндпоинты

Примеры

curl -X POST http://localhost:5000/api/v1/maximize \
  -H "Content-Type: application/json" \
  -H "X-API-Key: dev-key-change-in-production" \
  -d '{"packages": ["vim", "emacs", "nano"], "solver": "greedy", "conflicts": [["vim", "emacs"]]}'

📊 Сравнение солверов

🔧 Конфигурация

Установка всех зависимостей

pip install z3 python-sat pulp ortools

Минимальная установка

pip install .  # Только базовые зависимости

🧪 Тестирование

# Запуск всех тестов
python -m pytest tests/ -v

# Запуск конкретного модуля
python -m pytest tests/test_solvers.py -v

# Просмотр покрытия
python -m pytest tests/ --cov=package_maximizer --cov-report=html

📜 Лицензия

Проект распространяется под лицензией MIT. Подробности в файле LICENSE.

🤝 Вклад в проект

Приветствуются:

• Сообщения об ошибках
• Предложения по улучшению
• Pull Requests

Перед созданием PR:

1. Запустите тесты: python -m pytest tests/
2. Проверьте форматирование: black .
3. Проверьте линтеры: flake8 .

📞 Контакты

🎉 Благодарности

• Z3 Theorem Prover
• PuLP
• OR-Tools
• python-sat
• Click

Package Maximizer — Ваш помощник в управлении пакетами! 🚀