I having formulating the following (what should be fairly simple) ilp constraint. Basically let $p$ be a binary variable and $s$ be an integer that is greater than or equal to 0.
The constraint is simply:
if(p==1) then s=0.
I do not care what s is when p is 0. Any ideas or resources to check? I feel like this shouldn't be too hard.