Continuous Variable And Binary Variable Constraint