io.github.uuverifiers:ostrich_2.13 (maven): OSTRICH is an SMT solver for string constraints.
Keywords: regular-expressions|smt-solver|strings|theorem-prover|theorem-proving