Global optimization based on contractor programming: An overview of the IBEX library - Ninin, Jordan (Mathematical Aspects of Computer and Information Sciences, 2016)