Skip to content

Amortize observation-only constraint checks and keep tight loops armed under timeouts#2672

Merged
lahma merged 7 commits into
sebastienros:mainfrom
lahma:perf-amortized-constraints
Jul 13, 2026
Merged

Amortize observation-only constraint checks and keep tight loops armed under timeouts#2672
lahma merged 7 commits into
sebastienros:mainfrom
lahma:perf-amortized-constraints

Commits

Commits on Jul 13, 2026