diplom/yacs/src/yacs/solver/intervalsolver
