Added rules to find CPLEX