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

thomasjball / PyExZ3

Python Exploration with Z3

Other

323 stars 50 forks source link

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

Open KevinHock opened 7 years ago

KevinHock commented 7 years ago

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 commented 7 years ago

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

KevinHock commented 7 years ago

Awesome -- thanks!

KevinHock commented 7 years ago

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?