1 2 3 4 5 6 7 8 9 10 11
(set-info :smt-lib-version 2.5) (set-logic ALL) (set-info :status sat) (set-option :strings-exp true) (declare-fun x () String) (assert (not (= (str.in.re x (re.++ (re.++ re.allchar re.allchar ) (re.* re.allchar ))) (not (str.in.re x (re.* (str.to.re "A"))))) )) (check-sat)