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

Open KevinHock opened this issue 9 years ago • 3 comments

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.

Jan 05 '17 19:01 KevinHock

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

Jan 05 '17 19:01 GroundPound

Awesome -- thanks!

Jan 05 '17 19:01 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?

Jan 05 '17 19:01 KevinHock