search

z3str / Z3-str

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

How to patch the z3-str2 with z3 on windows #1

Closed kapilprits closed 9 years ago

kapilprits commented 9 years ago

Is there a way to patch the z3-str2 with z3 on windows. Do anyone know the steps to do that?

z3str commented 9 years ago

Hi, do you mean how to apply the diff patch on windows? If so, perhaps you could try TortoiseMerge (http://tortoisesvn.net/TortoiseMerge.html).