Notes for SoPlex Release 1.3.1 What's new ---------- - Some bugs fixes.