(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 ...
If there are two things you can count on in this world, it’s that 1) Billy Strings will jam the hell out of “Hide and Seek” and 2) when he plays “Swannanoa Tunnel”, it’ll be in Asheville. Friday’s ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results