Skip to content

Register CP-SAT decision strategy to stabilize solve times; Switch to ortools 9.15#452

Merged
mkannwischer merged 2 commits into
mainfrom
cpsat-search-strategy
Jun 12, 2026
Merged

Register CP-SAT decision strategy to stabilize solve times; Switch to ortools 9.15#452
mkannwischer merged 2 commits into
mainfrom
cpsat-search-strategy

Use ortools 9.15 on all Python versions

4302933
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jun 11, 2026 in 54s