This repository contains an extension of the CP 25 solver, which in turn is an extension of the Gecode-based information-sharing portfolio solver of Dexter Leander, which was part of his master thesis.
This extended solver was used for running the experiments for the Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search paper.