1 2 3 4 5 6 7
; EXPECT: unsat (set-logic ALL) (set-option :incremental false) (declare-fun a () Bool) (declare-fun b () Bool) (declare-fun c () Bool) (check-sat-assuming ( (not (or a (not a))) ))