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