search

z3str / Z3-str

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

Python API #9

Closed yannicnoller closed 8 years ago

yannicnoller commented 8 years ago

Hi all,

is there a possibility to have an python API for your z3-str?

Cheers, Yannic

z3str commented 8 years ago

Hi,

We don't have a python API yet. But yes, it's possible. We know an older version has been extended to support python APIs

Thanks, -Yunhui

yannicnoller commented 8 years ago

Thanks, I was not able to get this running on my Windows 7 machine, but on my Ubuntu 14.04 machine.