Moved code from CPLEXProgrammer to CPLEXCovFormulation and
CPLEXGenFormulation.