Category "integer-programming"

How to convert the following if conditions to Linear integer programming constraints?

These are the conditions: if(x > 0) { y >= a; z <= b; } It is quite easy to convert the conditions into Linear Programming constraints if x we