search

z3str / Z3-str

A Z3-Based String Constraint Solver
Other
87 stars 13 forks source link

Z3Str to deal with ">" and "<" #15

Open Shirlies opened 8 years ago

Shirlies commented 8 years ago

Hi, Thanks to you for supporting us with the lib, and it is useful to us. But I found it can not deal with string comparison with operator "<" and "<", Why not solve this problem?If there is no method to solve this problem , what is the reason?Could you support me some material about it?Look forward to your reply,thanks.

Kind regards, Shirlies