Fixed some minor bugs. No (substantive) changes to read/write functions.
removed a redundant condition check for equality/range constraints (though I think C++ is using a short circuit logic so it may not be that redundant?);
added break to findIndex() so it terminates once the target is found;
The problem in the Slack chat was caused by unmatched column numbers in the .mps and .aux files. In debug mode, the error could be detected by the assert here. But I am not sure if we need to add a barricade to explicitly throw the error before any memory bug happens.
Fixed some minor bugs. No (substantive) changes to read/write functions.
break
tofindIndex()
so it terminates once the target is found;