package-maximizer 0.0.0__py3-none-any.whl

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/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/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/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/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/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/web/__init__.py

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

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.dist-info/METADATA

@@ -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.dist-info/RECORD

@@ -0,0 +1,20 @@
+package_maximizer/__init__.py,sha256=1mpMVs1c5fXTPIC4Wi0ZplUP4qjdiEIAqJ0G6HbUOng,905
+package_maximizer/analyzers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/config/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/core/__init__.py,sha256=DDD4pWtWL6PbQ8H-uyLy8T4IkSZJuR6DqylskxFvD3Q,463
+package_maximizer/core/enums.py,sha256=5rc-in1uykRUWm02w72_JqR0-H6sK1kjkb7JVYU4jPY,629
+package_maximizer/core/interfaces.py,sha256=fIKzSt5792c2YkXyVvLazq1PtTEfMF0hdAEqNVrFuyc,1309
+package_maximizer/core/maximizer.py,sha256=VQn5p1avHay9jwQnnSvi5LaZdah68xnDBBw8w76DjnY,2350
+package_maximizer/core/package.py,sha256=A9JPn2PYrBlmIeb6ZM1JZYRc_Feg3BFOj9fya54vwNo,994
+package_maximizer/parsers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/solvers/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+package_maximizer/web/__init__.py,sha256=Qmvf3ioSkyQkwIpmnAgXb9Czt8RoyxM5eYDlQPttU_E,52
+package_maximizer/web/app.py,sha256=-Xq7AOanq89kzPh0t_vf5mY_fN7gTVKTgD63aSuqGU4,1307
+package_maximizer-0.0.0.dist-info/licenses/LICENSE,sha256=qUfcjKXCVtYWo1NXZWubGybrqCkEZNI2lnbwYBtuAXI,1088
+package_maximizer-0.0.0.dist-info/METADATA,sha256=CfYWZVsJVvm7gEiSzMsbmM5B2_CwJvZWT0ZPKdKuzXo,5137
+package_maximizer-0.0.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+package_maximizer-0.0.0.dist-info/entry_points.txt,sha256=kmglsFeRSdYPL4lI0WOxg4L47LbaJt7wM1QWKyQrexw,112
+package_maximizer-0.0.0.dist-info/top_level.txt,sha256=iKz2pl398gbNV7NQt3yclMIQxjiME4ZjIDd4cH9DKmw,18
+package_maximizer-0.0.0.dist-info/RECORD,,

package_maximizer-0.0.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

package_maximizer-0.0.0.dist-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.dist-info/licenses/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.dist-info/top_level.txt

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