Skip to content

fix: skip already-inactive columns in remove_empty_cols() to avoid double-counted obj_offset - #53

Merged
dance858 merged 1 commit into
dance858:mainfrom
Kh4ster:fix_objective_offset
Aug 7, 2026
Merged

fix: skip already-inactive columns in remove_empty_cols() to avoid double-counted obj_offset#53
dance858 merged 1 commit into
dance858:mainfrom
Kh4ster:fix_objective_offset

Commits

Commits on Aug 6, 2026