Section: New Results

IBEX

The development of the Ibex library has continued. The main developments in 2015 are:

• the complete refactoring of the multi-heap internal structure used for search space exploration in the global optimizer

• the creation of a new module for explicit set (or pavings) manipulation/algebra with full documentation and tutorial