(set-logic QF_S) (declare-fun a () String) (assert (= (str.substr (str.++ a a "0") 0 6) (str.++ a "a"))) (check-sat) (get-model) Here's the behavior > z3 bug.smt2 ...
A warmup is on the way this weekend with the chance of winter weather to follow early next week.Saturday brings beautiful weather with highs rising to the upper US, Israel launch attack on Iran Some ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results