Patch 1.4.2a: Fix for a small bug appearing when the LP is solved to optimality by the SoPlex simplifier.
Copy file soplex.cpp to src directory.
Patch 1.4.2b: For some older versions of the GCC compiler, the implementation of the SoPlex index management
can trigger a bug in glibc. We recommend to either update your compiler or use the following alternative
Copy file datakey.h to src directory.
Patch 1.4.2c: Additional interface method to set a starting basis within the SoPlex class.
Copy file soplex.h to src directory.