1 2 3 4 5 6 7
; COMMAND-LINE: --bitblast=eager (set-info :status sat) (set-logic QF_BV) (declare-fun x () Bool) (declare-fun y () Bool) (assert (xor y x)) (check-sat)