Skip to content
cpbenchy 0.1.0.dev0 is in alpha: until version 1.0, commands, options, the Python API and the result format may still change. Pin the version you use.

Installation

Install cpbenchy and the solvers you want to compare, and check that your machine is ready.

Updated View as Markdown

cpbenchy needs Linux and Python 3.10 or later.

Install cpbenchy

pip install cpbenchy      # or: uv add cpbenchy

It comes with CPMpy and OR-Tools.

Install the solvers you want to compare

Install additional solvers through CPMpy:

pip install cpmpy[exact,highs]

Check your machine

cpbenchy doctor
cpbenchy 0.1.0, cpmpy 1.1.0, python 3.13.11
runexec:  ok, runs get cgroup limits and measurements (executor: runlimit)
machine:  20 CPUs, 14 physical cores, 1 NUMA node(s), 31717 MiB memory
solvers:  ortools 9.15.6755, exact 2.2.1, highs 1.14.0
          not installed: z3, minizinc, gcs, pysat, ...

runexec: ok means cpbenchy can measure runs reliably. If it says otherwise, cpbenchy still works, with less precise limits: see Measurement and limits.

Alpha

cpbenchy is in alpha: until version 1.0, a new version may change commands, options, the Python API or the result format. Pin the version in projects that depend on it, and read the changes before upgrading:

pip install "cpbenchy==0.1.*"      # or: uv add "cpbenchy==0.1.*"

Results record the cpbenchy version that made them, in run.json.

Next: your first benchmark.

Navigation

Type to search…

↑↓ navigate↵ selectEsc close