Linearizing Binary Variables in Optimization

Find hard constraints for pushing the variable towards either 0 or 1.  If hard constraint sets variable x at 0 create the constraint x+b==1.  Then if maximizing the objective function at -b to the objective function.  This will make the optimizer want to minimize b which means pushing x -> 1