[Question]Has the S3 source code been merged into this repo?

z3str / Z3-str

A Z3-Based String Constraint Solver

Other

87 stars 13 forks source link

[Question]Has the S3 source code been merged into this repo? #17

Open KevinHock opened 7 years ago

KevinHock commented 7 years ago

I noticed "Special thanks to the S3 string solver team for their generous help on integer/string theory integration." Has the S3 source code been merged into this repo?

z3str commented 7 years ago

Hi, Z3str2 borrowed several pieces of code that help the string theory get assignments made by the integer theory. Other contributions made by S3 are not in this repo.