Added intervalsolver