In reply to Rsignori92:
print is not what function does in this case. What it does, it returns 1 if input is 0, and 0 if input is not 1. Thus, it does specify the way constraints should be solved.
In reply to Rsignori92:
print is not what function does in this case. What it does, it returns 1 if input is 0, and 0 if input is not 1. Thus, it does specify the way constraints should be solved.