1 2 3 4 5 6 7 8 9 10
% EXPECT: sat OPTION "sets-ext"; OPTION "logic" "ALL_SUPPORTED"; Atom: TYPE; a : SET OF [Atom]; b : SET OF [Atom]; ASSERT a = (~ b); CHECKSAT;