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