Allow >0 collision safety margin for check robot vs task
Add an option to increase minimum spacing between robot and task obstacles to increase margin for later steps, such as motion planning, that only verify collisions at discrete points.
2025-07-03: Due to updates GitLab may be unavailable for some minutes between 13:00 and 17:00.
Add an option to increase minimum spacing between robot and task obstacles to increase margin for later steps, such as motion planning, that only verify collisions at discrete points.