This package provides an RHS solver for IFDS problems.