Giters
uuverifiers
/
ostrich
An SMT Solver for string constraints
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
30
Watchers:
4
Issues:
43
Forks:
9
uuverifiers/ostrich Watchers
Amanda Stjerna
amandasystems
eemailme
Philipp Ruemmer
pruemmer
Philipp Ruemmer
uuverifiers