Skip to content

Fix: MPS reader drops RHS/RANGES/BOUNDS entries without a set name - #105

Merged
ZedongPeng merged 1 commit into
MIT-Lu-Lab:mainfrom
ZedongPeng:fix/mps-optional-set-name
Sep 2, 2026
Merged

ZedongPeng merged 1 commit into
MIT-Lu-Lab:mainfrom
ZedongPeng:fix/mps-optional-set-name