I'm using GLPK under Linux to solve some linear programming problems. In one of my restrictions I have:
s.t. example: binary_var+binary_val <=1;
Where binary_val is a variable defined as 'binary'.
If binary_val takes the value 1, will its sum be 2, or as it is in binary, will it return either 0 or 1?