4.0.0 uuverifiers ostrich_2.12 jar OSTRICH is an SMT solver for string constraints. https://github.com/uuverifiers/ostrich 1.1 BSD-3-Clause https://opensource.org/licenses/BSD-3-Clause repo ostrich 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 org.scala-lang scala-library 2.12.10 uuverifiers ostrich-ecma2020-parser_2.12 1.1 io.github.uuverifiers princess_2.12 2021-11-15 org.sat4j org.sat4j.core 2.3.1 org.scalacheck scalacheck_2.12 1.14.0 test dk.brics.automaton automaton 1.11-8