Check if a variable is constrained to be binary
sym_isBinary(index)
This function checks if a variable is constrained to be binary (0 or 1).
Index of the variable to check. Must be in {0,1,2,...n-1} where n is the number of variables in the problem
Returns 1 if the variable is constrained to be binary and 0 if it is not.