[SMT-LIB] Z3str3 released

[Vijay Ganesh]

Hi All,

It is my distinct pleasure to announce the release of the Z3str3 string solver. Z3str3 is now part of the Z3 main code base, and is Z3's primary string solver. You can download the code, papers, and presentations from:

https://sites.google.com/site/z3strsolver/

This solver was made possible by the hard work and skill of two members of our team: Murphy Berzish and Yunhui Zheng!! Thank you Yunhui and Murphy.

Cheers,
Vijay Ganesh.
https://ece.uwaterloo.ca/~vganesh