Z3-str2 is not actively maintained anymore. Please see https://sites.google.com/site/z3strsolver/ for z3str3 and latest versions.