Advanced Solvers

Solver selection

• greedy — fast baseline

• enhanced_greedy — greedy with version selection

• z3 — SMT via Z3

• pulp — ILP via PuLP

• ortools — CP-SAT via Google OR-Tools

• maxsat / minisat — SAT-based

Configuration

.. code-block:: json

{ “default_solver”: “z3”, “default_manager”: “apt”, “cache_enabled”: true }

Weights

Pass weights to prefer some packages:

.. code-block:: bash

pm maximize vim nano -w vim,2.0 -w nano,1.0