1 2 3 4 5 6 7 8 9 10 11
% EXPECT: unsat OPTION "logic" "ALL_SUPPORTED"; Atom: TYPE; a : SET OF Atom; b : SET OF Atom; c : Atom; ASSERT a = NOT(a); ASSERT c IS_IN a; CHECKSAT;