package-maximizer 0.0.0__tar.gz

package_maximizer-0.0.0/.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,30 @@
+---
+name: Bug report
+about: Создать отчет об ошибке
+title: '[BUG] '
+labels: bug
+assignees: ''
+---
+
+**Описание ошибки**
+Четкое и краткое описание ошибки.
+
+**Шаги для воспроизведения**
+1. Перейти к '...'
+2. Кликнуть на '....'
+3. Прокрутить до '....'
+4. Увидеть ошибку
+
+**Ожидаемое поведение**
+Описание того, что должно происходить.
+
+**Скриншоты**
+При необходимости добавьте скриншоты.
+
+**Окружение:**
+ - ОС: [например iOS]
+ - Версия Python: [например 3.9]
+ - Версия Package Maximizer: [например 0.1.0]
+
+**Дополнительная информация**
+Любая другая информация об ошибке.

package_maximizer-0.0.0/.github/ISSUE_TEMPLATE/feature_request.md

@@ -0,0 +1,16 @@
+---
+name: Feature request
+about: Предложить идею для проекта
+title: '[FEATURE] '
+labels: enhancement
+assignees: ''
+---
+
+**Связана ли ваша функция с проблемой?**
+Четкое и краткое описание проблемы.
+
+**Опишите решение которое вы хотите**
+Четкое и краткое описание того, что вы хотите.
+
+**Дополнительная информация**
+Любой другой контекст или скриншоты о запросе функции.

package_maximizer-0.0.0/.github/workflows/ci.yml

@@ -0,0 +1,64 @@
+name: Package Maximizer CI/CD
+
+on:
+  push:
+    branches: [ main, develop ]
+  pull_request:
+    branches: [ main ]
+  release:
+    types: [ published ]
+
+env:
+  PYTHON_VERSION: "3.9"
+
+jobs:
+  test:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest, windows-latest, macos-latest]
+        python-version: ["3.8", "3.9", "3.10", "3.11"]
+        
+    steps:
+    - uses: actions/checkout@v3
+    
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+        
+    - name: Cache pip packages
+      uses: actions/cache@v3
+      with:
+        path: ~/.cache/pip
+        key: ${{ runner.os }}-pip-${{ hashFiles('**/requirements.txt') }}
+        restore-keys: |
+          ${{ runner.os }}-pip-
+          
+    - name: Install system dependencies (Ubuntu)
+      if: matrix.os == 'ubuntu-latest'
+      run: |
+        sudo apt-get update
+        sudo apt-get install -y gcc g++ libffi-dev
+        
+    - name: Install Python dependencies
+      run: |
+        python -m pip install --upgrade pip
+        pip install -r requirements.txt
+        pip install -e ".[dev,all]"
+        
+    - name: Lint with flake8
+      run: |
+        flake8 package_maximizer/ tests/ --count --select=E9,F63,F7,F82 --show-source --statistics
+        flake8 package_maximizer/ tests/ --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
+        
+    - name: Test with pytest
+      run: |
+        pytest tests/ -v --cov=package_maximizer --cov-report=xml --cov-report=term
+        
+    - name: Upload coverage to Codecov
+      uses: codecov/codecov-action@v3
+      with:
+        file: ./coverage.xml
+        flags: unittests
+        name: codecov-${{ matrix.os }}-py${{ matrix.python-version }}

package_maximizer-0.0.0/.github/workflows/publish.yml

@@ -0,0 +1,40 @@
+name: Publish to PyPI
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
+
+permissions: {}
+
+jobs:
+  build:
+    name: Build distribution
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with: {fetch-depth: 0}
+      - uses: actions/setup-python@v5
+        with: {python-version: "3.11"}
+      - name: Install build tools
+        run: python -m pip install --upgrade build setuptools_scm
+      - name: Build sdist and wheel
+        run: python -m build
+      - uses: actions/upload-artifact@v4
+        with:
+          name: dist
+          path: dist/
+
+  pypi-publish:
+    name: Upload to PyPI (trusted publishing)
+    needs: build
+    runs-on: ubuntu-latest
+    environment:
+      name: pypi
+      url: https://pypi.org/p/package-maximizer
+    permissions:
+      id-token: write
+    steps:
+      - uses: actions/download-artifact@v4
+        with: {name: dist, path: dist}
+      - name: Publish
+        uses: pypa/gh-action-pypi-publish@v1.14.2

package_maximizer-0.0.0/.gitignore

@@ -0,0 +1,160 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py,cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+docs/_build/
+docs/build/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+.python-version
+
+# pipenv
+Pipfile.lock
+
+# poetry
+poetry.lock
+
+# pdm
+.pdm.toml
+
+# PEP 582
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# IDEs
+.vscode/
+.idea/
+*.swp
+*.swo
+*~
+
+# OS
+.DS_Store
+Thumbs.db
+
+# Project specific
+*.db
+*.sqlite
+benchmark_results/
+cache/
+logs/
+temp/
+optimization_results.db
+package_maximizer.log
+*.optimized.Dockerfile
+optimal_modules.sh

package_maximizer-0.0.0/Dockerfile

@@ -0,0 +1,50 @@
+FROM python:3.12-slim
+
+LABEL maintainer="Package Maximizer Team <team@package-maximizer.dev>"
+LABEL description="Контейнер для Package Maximizer"
+
+# Установка системных зависимостей
+RUN apt-get update && apt-get install -y \
+    gcc g++ \
+    libffi-dev \
+    libssl-dev \
+    pkg-config \
+    curl \
+    && rm -rf /var/lib/apt/lists/*
+
+# Создание пользователя приложения
+RUN useradd -m -u 1000 pmuser && \
+    mkdir -p /app /data /cache && \
+    chown -R pmuser:pmuser /app /data /cache
+
+WORKDIR /app
+
+# Копирование файлов требований
+COPY requirements.txt .
+
+# Установка Python зависимостей
+RUN pip install --no-cache-dir -r requirements.txt
+
+# Копирование исходного кода
+COPY --chown=pmuser:pmuser . .
+
+# Установка пакета
+RUN pip install -e .
+
+# Переключение на пользователя приложения
+USER pmuser
+
+EXPOSE 5000
+
+# Переменные окружения
+ENV FLASK_APP=package_maximizer.web.app
+ENV FLASK_ENV=production
+ENV PACKAGE_MAXIMIZER_CACHE_DIR=/cache
+ENV PACKAGE_MAXIMIZER_DATA_DIR=/data
+
+# Проверка здоровья
+HEALTHCHECK --interval=30s --timeout=10s --start-period=5s --retries=3 \
+    CMD curl -f http://localhost:5000/ || exit 1
+
+# Команда по умолчанию
+CMD ["python", "-m", "package_maximizer.web.app"]

package_maximizer-0.0.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 dominicusin (Domini Montessori)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the SOFTWARE.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package_maximizer-0.0.0/Makefile

@@ -0,0 +1,48 @@
+.PHONY: help install test lint format clean build docker run
+
+help: ## Показать это сообщение помощи
+	@echo "Доступные команды:"
+	@grep -E '^[a-zA-Z_-]+:.*?## .*$$' $(MAKEFILE_LIST) | sort | awk 'BEGIN {FS = ":.*?## "}; {printf "\033[36m%-20s\033[0m %s\n", $$1, $$2}'
+
+install: ## Установить зависимости
+	pip install -r requirements.txt
+	pip install -e .
+
+install-dev: ## Установить зависимости для разработки
+	pip install -r requirements.txt
+	pip install -e ".[dev,all,web]"
+
+test: ## Запустить тесты
+	pytest tests/ -v --cov=package_maximizer --cov-report=html --cov-report=term
+
+lint: ## Проверить код линтерами
+	flake8 package_maximizer/ tests/
+	mypy package_maximizer/ --ignore-missing-imports
+
+format: ## Отформатировать код
+	black package_maximizer/ tests/
+	isort package_maximizer/ tests/
+
+clean: ## Очистить временные файлы
+	find . -type f -name "*.pyc" -delete
+	find . -type d -name "__pycache__" -delete
+	rm -rf build/ dist/ *.egg-info/
+	rm -rf .coverage htmlcov/
+	rm -rf .pytest_cache/
+
+build: ## Собрать пакет
+	python -m build
+
+docker-build: ## Собрать Docker образ
+	docker build -t package-maximizer:latest .
+
+docker-run: ## Запустить в Docker
+	docker run -p 5000:5000 package-maximizer:latest
+
+run-web: ## Запустить веб-интерфейс
+	python -m package_maximizer.web.app
+
+init-config: ## Создать файл конфигурации по умолчанию
+	package-maximizer init-config
+
+all: lint test build ## Выполнить все проверки и сборку

package_maximizer-0.0.0/PKG-INFO

@@ -0,0 +1,98 @@
+Metadata-Version: 2.4
+Name: package-maximizer
+Version: 0.0.0
+Summary: Модульная система для максимизации непротиворечивого множества пакетов
+Author-email: Package Maximizer Team <team@package-maximizer.dev>
+License: MIT
+Project-URL: Homepage, https://github.com/package-maximizer/package-maximizer
+Project-URL: Documentation, https://package-maximizer.readthedocs.io/
+Project-URL: Repository, https://github.com/package-maximizer/package-maximizer.git
+Project-URL: Bug Tracker, https://github.com/package-maximizer/package-maximizer/issues
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: System Administrators
+Classifier: Topic :: System :: Software Distribution
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.8
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: click>=8.0.0
+Requires-Dist: pyyaml>=6.0
+Requires-Dist: numpy>=1.20.0
+Requires-Dist: pandas>=1.3.0
+Requires-Dist: matplotlib>=3.5.0
+Requires-Dist: seaborn>=0.11.0
+Requires-Dist: psutil>=5.8.0
+Requires-Dist: requests>=2.25.0
+Provides-Extra: web
+Requires-Dist: flask>=2.0.0; extra == "web"
+Requires-Dist: werkzeug<4,>=2.0; extra == "web"
+Requires-Dist: gunicorn>=20.0.0; extra == "web"
+Provides-Extra: solvers
+Requires-Dist: z3-solver>=4.8.0; extra == "solvers"
+Requires-Dist: pulp>=2.5.0; extra == "solvers"
+Requires-Dist: ortools>=9.0.0; extra == "solvers"
+Provides-Extra: all
+Requires-Dist: package-maximizer[solvers,web]; extra == "all"
+Provides-Extra: dev
+Requires-Dist: pytest>=6.2.0; extra == "dev"
+Requires-Dist: pytest-cov>=3.0.0; extra == "dev"
+Requires-Dist: black>=21.0.0; extra == "dev"
+Requires-Dist: flake8>=4.0.0; extra == "dev"
+Requires-Dist: mypy>=0.910; extra == "dev"
+Requires-Dist: isort>=5.0.0; extra == "dev"
+Requires-Dist: pre-commit>=2.15.0; extra == "dev"
+Dynamic: license-file
+
+# Package Maximizer 📦🔍
+
+[![CI/CD](https://github.com/dominicusin/package-maximizer/workflows/Package%20Maximizer%20CI/CD/badge.svg)](https://github.com/dominicusin/package-maximizer/actions)
+[![codecov](https://codecov.io/gh/dominicusin/package-maximizer/branch/main/graph/badge.svg)](https://codecov.io/gh/dominicusin/package-maximizer)
+[![PyPI version](https://badge.fury.io/py/package-maximizer.svg)](https://badge.fury.io/py/package-maximizer)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+
+Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT солверов для множественных пакетных менеджеров.
+
+## 🚀 Возможности
+
+- **Поддержка множественных пакетных менеджеров**: pacman, apt, dnf, zypper, brew, Spack и другие
+- **Различные солверы**: Z3, PuLP, OR-Tools, MaxSAT, MiniSat
+- **Параллельное решение**: одновременный запуск нескольких солверов
+- **Веб-интерфейс**: интуитивный веб-интерфейс с визуализацией
+- **CLI инструменты**: мощный командный интерфейс
+- **Бенчмаркинг**: сравнение производительности солверов
+- **Модульная архитектура**: легко расширяемая система
+
+## 📋 Требования
+
+- Python 3.8+
+- Один или несколько поддерживаемых солверов
+
+## 🔧 Установка
+```bash
+# Из исходного кода
+git clone https://github.com/dominicusin/package-maximizer.git
+cd package-maximizer
+pip install -e ".[all]"
+
+---
+
+🔄 **Mirrors:** [![GitLab](https://img.shields.io/badge/GitLab-dominicusin-orange?logo=gitlab)](https://gitlab.com/dominicusin/package-maximizer) · GitHub is canonical.
+
+## 📊 Solvers & Benchmarks
+
+| Solver | Тип | Установка | Статус |
+|---|---|---|---|
+| **Z3** | SMT | `pip install package-maximizer[solvers]` (z3-solver) | ✅ основной |
+| **PuLP** | ILP/MIP | входит в `[solvers]` | ✅ основной |
+| **OR-Tools** | CP-SAT | входит в `[solvers]` | ✅ опционально |
+| **MaxSAT / MiniSat** | SAT | через `[all]` / python-sat | 🔬 экспериментально |
+
+Запуск бенчмарков: `python -m package_maximizer.bench --solvers z3,pulp --packages 500`
+(сравнение времени решения и качества множества на синтетических зависимостных графах).

package_maximizer-0.0.0/README.md

@@ -0,0 +1,46 @@
+# Package Maximizer 📦🔍
+
+[![CI/CD](https://github.com/dominicusin/package-maximizer/workflows/Package%20Maximizer%20CI/CD/badge.svg)](https://github.com/dominicusin/package-maximizer/actions)
+[![codecov](https://codecov.io/gh/dominicusin/package-maximizer/branch/main/graph/badge.svg)](https://codecov.io/gh/dominicusin/package-maximizer)
+[![PyPI version](https://badge.fury.io/py/package-maximizer.svg)](https://badge.fury.io/py/package-maximizer)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+
+Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT солверов для множественных пакетных менеджеров.
+
+## 🚀 Возможности
+
+- **Поддержка множественных пакетных менеджеров**: pacman, apt, dnf, zypper, brew, Spack и другие
+- **Различные солверы**: Z3, PuLP, OR-Tools, MaxSAT, MiniSat
+- **Параллельное решение**: одновременный запуск нескольких солверов
+- **Веб-интерфейс**: интуитивный веб-интерфейс с визуализацией
+- **CLI инструменты**: мощный командный интерфейс
+- **Бенчмаркинг**: сравнение производительности солверов
+- **Модульная архитектура**: легко расширяемая система
+
+## 📋 Требования
+
+- Python 3.8+
+- Один или несколько поддерживаемых солверов
+
+## 🔧 Установка
+```bash
+# Из исходного кода
+git clone https://github.com/dominicusin/package-maximizer.git
+cd package-maximizer
+pip install -e ".[all]"
+
+---
+
+🔄 **Mirrors:** [![GitLab](https://img.shields.io/badge/GitLab-dominicusin-orange?logo=gitlab)](https://gitlab.com/dominicusin/package-maximizer) · GitHub is canonical.
+
+## 📊 Solvers & Benchmarks
+
+| Solver | Тип | Установка | Статус |
+|---|---|---|---|
+| **Z3** | SMT | `pip install package-maximizer[solvers]` (z3-solver) | ✅ основной |
+| **PuLP** | ILP/MIP | входит в `[solvers]` | ✅ основной |
+| **OR-Tools** | CP-SAT | входит в `[solvers]` | ✅ опционально |
+| **MaxSAT / MiniSat** | SAT | через `[all]` / python-sat | 🔬 экспериментально |
+
+Запуск бенчмарков: `python -m package_maximizer.bench --solvers z3,pulp --packages 500`
+(сравнение времени решения и качества множества на синтетических зависимостных графах).

package_maximizer-0.0.0/package_maximizer/__init__.py

@@ -0,0 +1,29 @@
+"""
+Package Maximizer - Модульная система для максимизации пакетов
+
+Система для решения задачи максимизации непротиворечивого множества пакетов
+с использованием различных SAT/ILP/SMT солверов.
+"""
+
+__version__ = "0.1.0"
+__author__ = "Package Maximizer Team"
+__email__ = "team@package-maximizer.dev"
+__license__ = "MIT"
+
+# Enums
+from .core.enums import PackageManagerType, SolverType
+from .core.interfaces import ConstraintSolver, PackageParser, ResultAnalyzer
+from .core.maximizer import PackageMaximizer
+from .core.package import Package, PackageConstraint
+
+__all__ = [
+    "Package",
+    "PackageConstraint",
+    "PackageMaximizer",
+    "PackageParser",
+    "ConstraintSolver",
+    "ResultAnalyzer",
+    "PackageManagerType",
+    "SolverType",
+    "__version__",
+]

package_maximizer-0.0.0/package_maximizer/core/__init__.py

@@ -0,0 +1,17 @@
+"""Основные компоненты Package Maximizer"""
+
+from .enums import PackageManagerType, SolverType
+from .interfaces import ConstraintSolver, PackageParser, ResultAnalyzer
+from .maximizer import PackageMaximizer
+from .package import Package, PackageConstraint
+
+__all__ = [
+    "Package",
+    "PackageConstraint",
+    "PackageMaximizer",
+    "PackageParser",
+    "ConstraintSolver",
+    "ResultAnalyzer",
+    "PackageManagerType",
+    "SolverType",
+]

package_maximizer-0.0.0/package_maximizer/core/enums.py

@@ -0,0 +1,33 @@
+"""Типы пакетных менеджеров и солверов."""
+
+from enum import Enum
+
+
+class PackageManagerType(Enum):
+    APT = "apt"
+    PACMAN = "pacman"
+    DNF = "dnf"
+    ZYPPER = "zypper"
+    BREW = "brew"
+    SPACK = "spack"
+    FLATPAK = "flatpak"
+    SNAP = "snap"
+    NIX = "nix"
+    GUIX = "guix"
+    PORTAGE = "portage"
+    XBS = "xbps"
+
+
+class SolverType(Enum):
+    Z3 = "z3"
+    PULP = "pulp"
+    ORTOOLS = "ortools"
+    MAXSAT = "maxsat"
+    MINISAT = "minisat"
+
+
+class PackageStatus(Enum):
+    INSTALLED = "installed"
+    MISSING = "missing"
+    CONFLICTED = "conflicted"
+    CANDIDATE = "candidate"

package_maximizer-0.0.0/package_maximizer/core/interfaces.py

@@ -0,0 +1,33 @@
+"""Абстрактные интерфейсы солверов, парсеров и анализаторов."""
+
+from __future__ import annotations
+
+from abc import ABC, abstractmethod
+from typing import TYPE_CHECKING, Iterable
+
+if TYPE_CHECKING:
+    from .package import Package
+
+
+class ConstraintSolver(ABC):
+    """Решатель задачи максимизации непротиворечивого множества пакетов."""
+
+    @abstractmethod
+    def solve(self, packages: Iterable[Package]) -> list[str]:
+        """Возвращает список имён пакетов, образующих максимальное согласованное множество."""
+
+
+class PackageParser(ABC):
+    """Парсер вывода пакетного менеджера."""
+
+    @abstractmethod
+    def parse(self, raw: str) -> list[Package]:
+        """Разбирает текстовый вывод менеджера в список Package."""
+
+
+class ResultAnalyzer(ABC):
+    """Анализатор результата работы солвера."""
+
+    @abstractmethod
+    def analyze(self, installed: Iterable[str], proposed: Iterable[str]) -> dict:
+        """Сравнивает установленный набор с предложенным решением."""

package_maximizer-0.0.0/package_maximizer/core/maximizer.py

@@ -0,0 +1,58 @@
+"""Ядро: максимизация непротиворечивого множества пакетов."""
+
+from __future__ import annotations
+
+import itertools
+from typing import Iterable, Sequence
+
+from .enums import PackageManagerType, SolverType
+from .package import Package, PackageConstraint
+
+
+class PackageMaximizer:
+    """Строит максимальное непротиворечивое подмножество пакетов.
+
+    Базовая реализация (без внешних солверов): жадный обход с проверкой
+    конфликтов и зависимостей. Внешние SAT/ILP-солверы подключаются
+    через :mod:`package_maximizer.solvers`.
+    """
+
+    def __init__(
+        self,
+        manager: PackageManagerType | str = PackageManagerType.APT,
+        solver: SolverType | str = SolverType.PULP,
+    ) -> None:
+        self.manager = (
+            manager if isinstance(manager, PackageManagerType) else PackageManagerType(manager)
+        )
+        self.solver = solver if isinstance(solver, SolverType) else SolverType(solver)
+
+    def maximize(self, packages: Sequence[Package]) -> list[Package]:
+        """Возвращает максимальное непротиворечивое подмножество."""
+        chosen: list[Package] = []
+        chosen_names: set[str] = set()
+        blocked: set[str] = set()
+
+        for pkg in packages:
+            if pkg.name in chosen_names or pkg.name in blocked:
+                continue
+            if any(c in blocked for c in pkg.conflicts):
+                continue
+            chosen.append(pkg)
+            chosen_names.add(pkg.name)
+            blocked.update(pkg.conflicts)
+        return chosen
+
+    def check_constraints(
+        self, packages: Iterable[Package], constraints: Iterable[PackageConstraint]
+    ) -> dict[str, bool]:
+        """Проверяет выполнение ограничений для набора пакетов."""
+        versions = {p.name: p.version for p in packages}
+        return {
+            c.package: c.satisfied_by(versions.get(c.package, ""))
+            for c in constraints
+        }
+
+    @staticmethod
+    def from_names(names: Iterable[str]) -> list[Package]:
+        return [Package(name=n, status="candidate") for n in names]

package_maximizer-0.0.0/package_maximizer/core/package.py

@@ -0,0 +1,41 @@
+"""Модель пакета и его ограничения."""
+
+from __future__ import annotations
+
+from dataclasses import dataclass, field
+
+
+@dataclass
+class Package:
+    name: str
+    version: str = ""
+    status: str = "candidate"
+    depends: list = field(default_factory=list)
+    conflicts: list = field(default_factory=list)
+
+    def __str__(self) -> str:
+        v = f" {self.version}" if self.version else ""
+        return f"{self.name}{v}"
+
+
+@dataclass
+class PackageConstraint:
+    package: str
+    op: str = ">="
+    version: str = ""
+
+    def satisfied_by(self, other_version: str) -> bool:
+        if not self.version or not other_version:
+            return True
+
+        def key(v):
+            return [int(x) for x in v.split(".") if x.isdigit()]
+
+        a, b = key(other_version), key(self.version)
+        return {
+            ">=": a >= b,
+            "<=": a <= b,
+            "==": a == b,
+            ">": a > b,
+            "<": a < b,
+        }.get(self.op, True)

package_maximizer-0.0.0/package_maximizer/web/__init__.py

@@ -0,0 +1,3 @@
+from .app import app, run
+
+__all__ = ["app", "run"]

package_maximizer-0.0.0/package_maximizer/web/app.py

@@ -0,0 +1,43 @@
+"""Минимальный веб-интерфейс Package Maximizer (Flask)."""
+
+from __future__ import annotations
+
+from flask import Flask, jsonify, request
+
+from ..core.enums import PackageManagerType, SolverType
+from ..core.maximizer import PackageMaximizer
+from ..core.package import Package
+
+app = Flask(__name__)
+
+
+@app.get("/api/health")
+def health():
+    return jsonify(status="ok")
+
+
+@app.get("/api/maximize")
+def maximize():
+    """GET /api/maximize?packages=vim,nano&manager=apt&solver=pulp"""
+    raw = request.args.get("packages", "")
+    names = [n.strip() for n in raw.split(",") if n.strip()]
+    if not names:
+        return jsonify(error="параметр 'packages' обязателен"), 400
+    try:
+        manager = PackageManagerType(request.args.get("manager", "apt"))
+        solver = SolverType(request.args.get("solver", "pulp"))
+    except ValueError as e:
+        return jsonify(error=str(e)), 400
+
+    engine = PackageMaximizer(manager=manager, solver=solver)
+    chosen = engine.maximize(PackageMaximizer.from_names(names))
+    return jsonify(
+        manager=manager.value,
+        solver=solver.value,
+        input=names,
+        maximized=[p.name for p in chosen],
+    )
+
+
+def run(host: str = "127.0.0.1", port: int = 5000) -> None:
+    app.run(host=host, port=port)

package_maximizer-0.0.0/package_maximizer.egg-info/PKG-INFO

@@ -0,0 +1,98 @@
+Metadata-Version: 2.4
+Name: package-maximizer
+Version: 0.0.0
+Summary: Модульная система для максимизации непротиворечивого множества пакетов
+Author-email: Package Maximizer Team <team@package-maximizer.dev>
+License: MIT
+Project-URL: Homepage, https://github.com/package-maximizer/package-maximizer
+Project-URL: Documentation, https://package-maximizer.readthedocs.io/
+Project-URL: Repository, https://github.com/package-maximizer/package-maximizer.git
+Project-URL: Bug Tracker, https://github.com/package-maximizer/package-maximizer/issues
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: System Administrators
+Classifier: Topic :: System :: Software Distribution
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.8
+Classifier: Programming Language :: Python :: 3.9
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: click>=8.0.0
+Requires-Dist: pyyaml>=6.0
+Requires-Dist: numpy>=1.20.0
+Requires-Dist: pandas>=1.3.0
+Requires-Dist: matplotlib>=3.5.0
+Requires-Dist: seaborn>=0.11.0
+Requires-Dist: psutil>=5.8.0
+Requires-Dist: requests>=2.25.0
+Provides-Extra: web
+Requires-Dist: flask>=2.0.0; extra == "web"
+Requires-Dist: werkzeug<4,>=2.0; extra == "web"
+Requires-Dist: gunicorn>=20.0.0; extra == "web"
+Provides-Extra: solvers
+Requires-Dist: z3-solver>=4.8.0; extra == "solvers"
+Requires-Dist: pulp>=2.5.0; extra == "solvers"
+Requires-Dist: ortools>=9.0.0; extra == "solvers"
+Provides-Extra: all
+Requires-Dist: package-maximizer[solvers,web]; extra == "all"
+Provides-Extra: dev
+Requires-Dist: pytest>=6.2.0; extra == "dev"
+Requires-Dist: pytest-cov>=3.0.0; extra == "dev"
+Requires-Dist: black>=21.0.0; extra == "dev"
+Requires-Dist: flake8>=4.0.0; extra == "dev"
+Requires-Dist: mypy>=0.910; extra == "dev"
+Requires-Dist: isort>=5.0.0; extra == "dev"
+Requires-Dist: pre-commit>=2.15.0; extra == "dev"
+Dynamic: license-file
+
+# Package Maximizer 📦🔍
+
+[![CI/CD](https://github.com/dominicusin/package-maximizer/workflows/Package%20Maximizer%20CI/CD/badge.svg)](https://github.com/dominicusin/package-maximizer/actions)
+[![codecov](https://codecov.io/gh/dominicusin/package-maximizer/branch/main/graph/badge.svg)](https://codecov.io/gh/dominicusin/package-maximizer)
+[![PyPI version](https://badge.fury.io/py/package-maximizer.svg)](https://badge.fury.io/py/package-maximizer)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT)
+
+Модульная система для решения задачи максимизации непротиворечивого множества пакетов с использованием различных SAT/ILP/SMT солверов для множественных пакетных менеджеров.
+
+## 🚀 Возможности
+
+- **Поддержка множественных пакетных менеджеров**: pacman, apt, dnf, zypper, brew, Spack и другие
+- **Различные солверы**: Z3, PuLP, OR-Tools, MaxSAT, MiniSat
+- **Параллельное решение**: одновременный запуск нескольких солверов
+- **Веб-интерфейс**: интуитивный веб-интерфейс с визуализацией
+- **CLI инструменты**: мощный командный интерфейс
+- **Бенчмаркинг**: сравнение производительности солверов
+- **Модульная архитектура**: легко расширяемая система
+
+## 📋 Требования
+
+- Python 3.8+
+- Один или несколько поддерживаемых солверов
+
+## 🔧 Установка
+```bash
+# Из исходного кода
+git clone https://github.com/dominicusin/package-maximizer.git
+cd package-maximizer
+pip install -e ".[all]"
+
+---
+
+🔄 **Mirrors:** [![GitLab](https://img.shields.io/badge/GitLab-dominicusin-orange?logo=gitlab)](https://gitlab.com/dominicusin/package-maximizer) · GitHub is canonical.
+
+## 📊 Solvers & Benchmarks
+
+| Solver | Тип | Установка | Статус |
+|---|---|---|---|
+| **Z3** | SMT | `pip install package-maximizer[solvers]` (z3-solver) | ✅ основной |
+| **PuLP** | ILP/MIP | входит в `[solvers]` | ✅ основной |
+| **OR-Tools** | CP-SAT | входит в `[solvers]` | ✅ опционально |
+| **MaxSAT / MiniSat** | SAT | через `[all]` / python-sat | 🔬 экспериментально |
+
+Запуск бенчмарков: `python -m package_maximizer.bench --solvers z3,pulp --packages 500`
+(сравнение времени решения и качества множества на синтетических зависимостных графах).

package_maximizer-0.0.0/package_maximizer.egg-info/SOURCES.txt

@@ -0,0 +1,33 @@
+.gitignore
+Dockerfile
+LICENSE
+Makefile
+README.md
+pyproject.toml
+requirements.txt
+.github/ISSUE_TEMPLATE/bug_report.md
+.github/ISSUE_TEMPLATE/feature_request.md
+.github/workflows/ci.yml
+.github/workflows/publish.yml
+package_maximizer/__init__.py
+package_maximizer.egg-info/PKG-INFO
+package_maximizer.egg-info/SOURCES.txt
+package_maximizer.egg-info/dependency_links.txt
+package_maximizer.egg-info/entry_points.txt
+package_maximizer.egg-info/requires.txt
+package_maximizer.egg-info/top_level.txt
+package_maximizer/analyzers/__init__.py
+package_maximizer/cli/__init__.py
+package_maximizer/config/__init__.py
+package_maximizer/core/__init__.py
+package_maximizer/core/enums.py
+package_maximizer/core/interfaces.py
+package_maximizer/core/maximizer.py
+package_maximizer/core/package.py
+package_maximizer/parsers/__init__.py
+package_maximizer/solvers/__init__.py
+package_maximizer/utils/__init__.py
+package_maximizer/web/__init__.py
+package_maximizer/web/app.py
+tests/__init__.py
+tests/test_basic.py

package_maximizer-0.0.0/package_maximizer.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

package_maximizer-0.0.0/package_maximizer.egg-info/entry_points.txt

@@ -0,0 +1,3 @@
+[console_scripts]
+package-maximizer = package_maximizer.cli.main:cli
+pm-web = package_maximizer.web.app:run_app

package_maximizer-0.0.0/package_maximizer.egg-info/requires.txt

@@ -0,0 +1,30 @@
+click>=8.0.0
+pyyaml>=6.0
+numpy>=1.20.0
+pandas>=1.3.0
+matplotlib>=3.5.0
+seaborn>=0.11.0
+psutil>=5.8.0
+requests>=2.25.0
+
+[all]
+package-maximizer[solvers,web]
+
+[dev]
+pytest>=6.2.0
+pytest-cov>=3.0.0
+black>=21.0.0
+flake8>=4.0.0
+mypy>=0.910
+isort>=5.0.0
+pre-commit>=2.15.0
+
+[solvers]
+z3-solver>=4.8.0
+pulp>=2.5.0
+ortools>=9.0.0
+
+[web]
+flask>=2.0.0
+werkzeug<4,>=2.0
+gunicorn>=20.0.0

package_maximizer-0.0.0/package_maximizer.egg-info/top_level.txt

@@ -0,0 +1 @@
+package_maximizer

package_maximizer-0.0.0/pyproject.toml

@@ -0,0 +1,69 @@
+[build-system]
+requires = ["setuptools>=45", "wheel", "setuptools_scm[toml]>=6.2"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "package-maximizer"
+description = "Модульная система для максимизации непротиворечивого множества пакетов"
+authors = [{name = "Package Maximizer Team", email = "team@package-maximizer.dev"}]
+license = {text = "MIT"}
+readme = "README.md"
+requires-python = ">=3.8"
+classifiers = [
+    "Development Status :: 4 - Beta",
+    "Intended Audience :: Developers",
+    "Intended Audience :: System Administrators",
+    "Topic :: System :: Software Distribution",
+    "Topic :: Scientific/Engineering :: Mathematics",
+    "License :: OSI Approved :: MIT License",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.8",
+    "Programming Language :: Python :: 3.9",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+]
+dynamic = ["version"]
+dependencies = [
+    "click>=8.0.0",
+    "pyyaml>=6.0",
+    "numpy>=1.20.0",
+    "pandas>=1.3.0",
+    "matplotlib>=3.5.0",
+    "seaborn>=0.11.0",
+    "psutil>=5.8.0",
+    "requests>=2.25.0",
+]
+
+[project.optional-dependencies]
+web = [
+    "flask>=2.0.0",
+    "werkzeug>=2.0,<4",
+    "gunicorn>=20.0.0",
+]
+solvers = [
+    "z3-solver>=4.8.0",
+    "pulp>=2.5.0",
+    "ortools>=9.0.0",
+]
+all = [
+    "package-maximizer[web,solvers]",
+]
+dev = [
+    "pytest>=6.2.0",
+    "pytest-cov>=3.0.0",
+    "black>=21.0.0",
+    "flake8>=4.0.0",
+    "mypy>=0.910",
+    "isort>=5.0.0",
+    "pre-commit>=2.15.0",
+]
+
+[project.scripts]
+package-maximizer = "package_maximizer.cli.main:cli"
+pm-web = "package_maximizer.web.app:run_app"
+
+[project.urls]
+Homepage = "https://github.com/package-maximizer/package-maximizer"
+Documentation = "https://package-maximizer.readthedocs.io/"
+Repository = "https://github.com/package-maximizer/package-maximizer.git"
+"Bug Tracker" = "https://github.com/package-maximizer/package-maximizer/issues"

package_maximizer-0.0.0/requirements.txt

@@ -0,0 +1,34 @@
+# Основные зависимости
+click>=8.0.0
+pyyaml>=6.0
+numpy>=1.20.0
+pandas>=1.3.0
+matplotlib>=3.5.0
+seaborn>=0.11.0
+psutil>=5.8.0
+
+# Веб-интерфейс
+flask>=2.0.0
+werkzeug>=2.0,<4
+
+# Солверы (опционально)
+z3-solver>=4.8.0
+pulp>=2.5.0
+ortools>=9.0.0
+
+# Для работы с различными пакетными менеджерами
+requests>=2.25.0
+lxml>=4.6.0
+beautifulsoup4>=4.9.0
+
+# Тестирование
+pytest>=6.2.0
+pytest-cov>=3.0.0
+
+# Разработка
+black>=21.0.0
+flake8>=4.0.0
+mypy>=0.910
+fonttools>=4.38.0 ; python_version >= "3.9" # Snyk: transitive vuln fix (4.61 needs py3.9)
+urllib3>=2.0.7 ; python_version >= "3.9" # Snyk: transitive vuln fix (2.6 needs py3.9)
+urllib3>=1.26.18,<2 ; python_version < "3.9" # legacy branch

package_maximizer-0.0.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

package_maximizer-0.0.0/tests/test_basic.py

@@ -0,0 +1,26 @@
+"""Базовые тесты для проверки работоспособности"""
+
+
+def test_import():
+    """Тест импорта основных модулей"""
+    try:
+        import package_maximizer
+
+        assert hasattr(package_maximizer, "__version__")
+        assert package_maximizer.__version__ == "0.1.0"
+    except ImportError:
+        assert False, "Не удалось импортировать package_maximizer"
+
+
+def test_basic_functionality():
+    """Тест базовой функциональности"""
+    # Пока простая проверка
+    assert 1 + 1 == 2
+
+
+def test_version():
+    """Тест версии пакета"""
+    from package_maximizer import __version__
+
+    assert __version__ is not None
+    assert isinstance(__version__, str)