implement automatic rep switch, based on row/col dim
introduce status codes for SoPlex, especially for rational solving
record and return "best" solutions found during IR (Ambros)
implement main IR loop for primal and dual feasible case with fail otherwise (Ambros)
implement statistical info (time, factor time, iters, ...) since last call to solveReal() or solveRational() (Ambros?)
implement performInfeasibilityIR (Ambros?)
extend IR loop to infeasible case (Dan?)
extend IR loop to unbounded case (Dan?)
interface rational reconstruction code for rational vectors
integrate rational reconstruction into IR loop
integrate rational SPxSolver and distinguish between original and transformed rational LP
rational scalers
rational simplifier