ia_ros This repository regroup ros packages which use interval analysis. IA SLAM In ia_slam/CMakeList.txt the IBEX_ROOT variable need to be set. You also need to get Ibex