automatic clash solver for MEP