search

uuverifiers / ostrich

An SMT Solver for string constraints
Other
35 stars 8 forks source link

[WIP] Add a Python client script #47

Open amandasystems opened 3 years ago