I have a list of paired variables(paired_list) like below and a resultant variable(my_res).
paired_list = [[a,b],[c,d],[e,f],...].
Here a,b,c,d,e,f are also binary decision variables.
I have to set a constraint which is a combination of and and or operator as below
my_res = [(a and b) or (c and d) or (e and f)...].
How can I translate this into a ILP constraint?