SoPlex Documentation