1 2 3 4 5 6 7 8 9 10 11 12
; COMMAND-LINE: -i ; EXPECT: sat ; EXPECT: sat (set-logic ALL) (declare-fun t () (Set Int)) (declare-fun s () (Set Int)) (declare-const v Bool) (assert (forall ((q Bool)) (distinct v (subset s t)))) (assert (= 1 (card t))) (check-sat) (assert v) (check-sat)