Download ostrich-ecma2020-parser_2.13 JAR file with all dependencies
ostrich-ecma2020-parser_2.13 from group io.github.uuverifiers (version 1.3.5)
OSTRICH is an SMT solver for string constraints.
Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact ostrich-ecma2020-parser_2.13
Group io.github.uuverifiers
Version 1.3.5
Last update 25. January 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/ostrich
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 1.3.5
Last update 25. January 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/ostrich
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)