issues
search
z3str
/
Z3-str
A Z3-Based String Constraint Solver
Other
87
stars
13
forks
source link
readme
Z3-str2 is not actively maintained anymore.
Please see
https://sites.google.com/site/z3strsolver/
for z3str3 and latest versions.