8000 Release v0.22.0: feat: comprehensive real-world solver benchmark · dominicusin/package-maximizer · GitHub
[go: up one dir, main page]

Skip to content

v0.22.0

@dominicusin dominicusin tagged this 08 Sep 06:45
- benchmark_runner.py: Full solver benchmark on real nixpkgs data
  - Tests all 7 solvers: greedy, enhanced_greedy, z3, pulp, ortools, maxsat, minisat
  - Measures speed, accuracy, correctness, conflicts, unmet deps
  - Real dependency graph from nix-store --references
  - JSON output saved to benchmark_results.json
- All lint clean (black, isort, mypy, flake8)
- 849 tests, 85.09% coverage
Assets 2
Loading
0