How to realize the abs(phi)==1 constant?

@Sasa You need to re-read the answers and link provided in reply to your previous question How to use >= constraint? .