Package Maximizer 📦🔍

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

---

🔄 **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`
(сравнение времени решения и качества множества на синтетических зависимостных графах).

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

package_maximizer-0.0.0.tar.gz (14.0 kB view details)

Uploaded Aug 26, 2026 Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

package_maximizer-0.0.0-py3-none-any.whl (10.4 kB view details)

Uploaded Aug 26, 2026 Python 3

File details

Details for the file package_maximizer-0.0.0.tar.gz.

File metadata

Download URL: package_maximizer-0.0.0.tar.gz
Upload date: Aug 26, 2026
Size: 14.0 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for package_maximizer-0.0.0.tar.gz
Algorithm	Hash digest
SHA256	`38cbf7a6b12656b618d1143b737986bd553774820546a06a74f31480846ada72`
MD5	`7596a47f187174470c355f8b945b0390`
BLAKE2b-256	`8d783e12d41cb923df86f6fad4380d5970451fec801629d421bc0e59aa9381f7`

See more details on using hashes here.

Provenance

The following attestation bundles were made for package_maximizer-0.0.0.tar.gz:

Publisher: publish.yml on dominicusin/package-maximizer

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: package_maximizer-0.0.0.tar.gz
- Subject digest: 38cbf7a6b12656b618d1143b737986bd553774820546a06a74f31480846ada72
- Sigstore transparency entry: 2601119719
- Sigstore integration time: Aug 26, 2026
Source repository:
- Permalink: dominicusin/package-maximizer@78288ff28a0ae21af11d88798f79bc1767c0f3ab
- Branch / Tag: refs/heads/main
- Owner: https://github.com/dominicusin
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: publish.yml@78288ff28a0ae21af11d88798f79bc1767c0f3ab
- Trigger Event: workflow_dispatch