Technical report: models and algorithms for managing FLEX4FACT cluster flexibility

Summary
Description of mathematical models used to define/set-up the FLEX4FACT cluster flexibility.