An extension of the Yaobi Collision Checker that allows some sort of proximity computation