Changelog: http://soplex.zib.de/doc-3.1.1/html/CHANGELOG.php Reported by: portscout Approved by: tcberner (mentor, implicit)