Generate inequalities for wordwise truncated xor with n input bits
Milp wordwise deterministic truncated xor differential model