OSTRICH version 1.2
Version 1.2 of OSTRICH includes a module for solving general word equations (not restricted to the straightline fragment), as well as more complete support for the different SMT-LIB string operations.
Version 1.2 of OSTRICH includes a module for solving general word equations (not restricted to the straightline fragment), as well as more complete support for the different SMT-LIB string operations.