Repository navigation

Fix #1252: symmetric split point in dichotomic ObjectiveStrategy - #1253

Merged

cprudhom merged 2 commits into

fix/1252-objective-strategy-split

Oct 14, 2026

Merged

Fix #1252: symmetric split point in dichotomic ObjectiveStrategy#1253
cprudhom merged 2 commits into
developfrom
fix/1252-objective-strategy-split

Commits on Oct 13, 2026
- Fix #1252: symmetric split point in dichotomic ObjectiveStrategy
  cprudhom
  committed
  2d720d7
- ObjectiveStrategy: state the check on fraction without a negated conjunction (#1252)
  cprudhom
  committed
  ba34204