Diagnosing infeasibility by refining conflicts

Describes the conflict refiner, a feature for diagnosing the cause of infeasibility in a model, whether continuous or discrete, whether linear or quadratic.