4.0.0 uuverifiers ostrich-ecma2020-parser_2.11 jar OSTRICH is an SMT solver for string constraints. https://github.com/uuverifiers/ostrich 1.2.1 BSD-3-Clause https://opensource.org/licenses/BSD-3-Clause repo OSTRICH-ECMA2020-parser uuverifiers https://github.com/uuverifiers/ostrich https://github.com/uuverifiers/ostrich scm:git@github.com/uuverifiers/ostrich.git matthew.hague Matthew Hague https://www.cs.rhul.ac.uk/home/uxac009/ matthew.hague@rhul.ac.uk p_ruemmer Philipp Ruemmer https://philipp.ruemmer.org ph_r@gmx.net riccardo.de.masellis Riccardo De Masellis http://demasellis.x10host.com/ demasellis@gmail.com zhilei.han Zhilei Han https://www.linusboyle.cn/ hzl17@mails.tsinghua.edu.cn oliver.markgraf Oliver Markgraf https://arg.cs.uni-kl.de/gruppe/markgraf/ markgraf@cs.uni-kl.de org.scala-lang scala-library 2.11.12