function sols = CS_all_sols(KB)
%

n = max(CS_vars(KB,{}));
sols = [];

for v = 0:2^n-1
    bits = CS_int2bits(v,n);
    if CS_check_SAT_sol(KB,bits)==1
        sols = [sols;bits];
    end
end
