Section: Overall Objectives

Highlights of the Year

1. The IBEX library has been entirely re-factored from scratch to provide a more clean and easy-to-use interface as well as a more powerful engine and made available in December 2012 on multiple platforms (Linux, MacOs, Windows). Global optimization and system solving front-end algorithms have been tested on more than 500 benchmarks.

2. Significant advance on learning constraints models for highly structured problems was done in 2012. The system [19] is based on the global constraint catalog, providing the library of constraints that can be used in modeling, and the Constraint Seeker tool, which finds a ranked list of matching constraints given one or more sample call patterns. Surprisingly, the system often finds usable models even when working with a single, positive example.