search

z3str / Z3-str

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

what “sort” means in the new integration? #18

Open nil1666 opened 7 years ago

nil1666 commented 7 years ago

I have a new request for the string to be ordered, can this new property works?

z3str commented 7 years ago

Hi, sort in SMT usually refers to type, e.g. integer, string, etc.

Could you provide more details about the ordered string?