Indicator constraints

This is an indicator constraint:
cl23[(f1,f2) in FO, j in U, t in TIME: t<=end-15],
CL1[f1,f2,j,t]=0 ==> FAS[f1,j,t]+FASa[f2,j]<=1
is it possible for GLPK or CBC to handle it or should be transformed?
Thanks,
Marco