Milp bitwise impossible xor differential model
Dictionary that contains inequalities for small sboxes