asap python #yourcode here

exact2y_one_constraint(variables): manvariables is a list of integers. return a list of clauses representing an exactly-one constraint on those varibales. input: voriobles =[1,2,3] output: [1,2,3],[1,2],[1,3],[2,3]]#(X1X2X3)#(X1X2)#(X1X3)#(XX3) \# at-Least-one constraint alo_constraint = List (variables) \# at-most-one constraint \# amo_constraint =[[1,j] for i in variables for j in variables ] n= len(variables) \# Loop for all indices i