Download ostrich_2.12 JAR file with all dependencies
ostrich_2.12 from group io.github.uuverifiers (version 1.3.5)
OSTRICH is an SMT solver for string constraints.
0 downloads
Artifact ostrich_2.12
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 5
Dependencies scala-library, ostrich-ecma2020-parser_2.12, princess_2.12, org.sat4j.core, automaton,
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 5
Dependencies scala-library, ostrich-ecma2020-parser_2.12, princess_2.12, org.sat4j.core, automaton,
There are maybe transitive dependencies!
ostrich_2.12 from group com.twitter (version 9.27.0)
ostrich
0 downloads
Artifact ostrich_2.12
Group com.twitter
Version 9.27.0
Last update 21. April 2017
Organization com.twitter
URL https://github.com/twitter/ostrich
License Apache 2
Dependencies amount 8
Dependencies scala-library, util-core_2.12, util-eval_2.12, util-logging_2.12, util-jvm_2.12, jackson-annotations, jackson-databind, jackson-module-scala_2.12,
There are maybe transitive dependencies!
Group com.twitter
Version 9.27.0
Last update 21. April 2017
Organization com.twitter
URL https://github.com/twitter/ostrich
License Apache 2
Dependencies amount 8
Dependencies scala-library, util-core_2.12, util-eval_2.12, util-logging_2.12, util-jvm_2.12, jackson-annotations, jackson-databind, jackson-module-scala_2.12,
There are maybe transitive dependencies!
Page 1 from 1 (items total 2)