diplom/yacs/src/yacs/solver/intervalsolver/consistency
