Connection-HEALing is a modeler and solver for connection healing strategy problem based on quadratic programming.