function KB = CS_gen_incon(n)
%

for k = 0:(2^n)-1
    bits = CS_int2bits(k,n);
    clause = 2*bits - 1;
    KB(k+1).clauses = clause.*[1:n];
end
