Download ostrich_2.12 JAR file with all dependencies
ostrich_2.12 from group io.github.uuverifiers (version 1.1)
OSTRICH is an SMT solver for string constraints.
Artifact ostrich_2.12
Group io.github.uuverifiers
Version 1.1
Last update 15. December 2021
Tags: solver ostrich string constraints
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.1
Last update 15. December 2021
Tags: solver ostrich string constraints
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!
Page 1 from 1 (items total 1)