Repository navigation

[Bridges] Remove the need of negative indices - #3010

Closed

blegat wants to merge 4 commits into

bl/reserve_bridge

Closed

[Bridges] Remove the need of negative indices#3010
blegat wants to merge 4 commits into
masterfrom
bl/reserve_bridge

Commits on Jun 7, 2026
- [Bridges] add reserve_variable_index and reserve_constraint_index API
  blegat
  committed
  0686f5d
- Rewrite map
  blegat
  committed
  0cbaead
Commits on Jun 10, 2026
- Reorder
  blegat
  committed
  761740e
- wip
  blegat
  committed
  06ab01f