Test if CPLEX lib is loaded