"Greater than" condition in integer linear program with a binary variable
I think I found the answer here!
It is sufficient to use the big-M method by introducing the following constraints:

B >= C + 1 - M*(1-A); 

C >= B + 1 - M*A