(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 ...
Abstract: Motivated by protein sequencing, we consider the problem of reconstructing a string from the compositions of its substrings. We provide several results, including the following. General ...
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