[Feature Request] Add support for strings via Z3-str2

[KevinHock]

Whenever you get a chance, can you please add support for strings? I'm not sure how much work it would be but it would be quite nice :) It is open-source https://github.com/z3str/Z3-str.

[GroundPound]

You might want to checkout my fork. It supports a number of different string solvers.

[KevinHock]

Awesome -- thanks!

[KevinHock]

Not sure if I should close the issue, just leave it open for anyone else looking for it, or make a PR to add a mention of it to the README. Thoughts?