Download JAR files tagged by ostrich with all dependencies

ostrich-ecma2020-parser_2.13 from group io.github.uuverifiers (version 1.4.1)

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

0 downloads

Artifact ostrich-ecma2020-parser_2.13
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 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!

ostrich_2.12 from group io.github.uuverifiers (version 1.4.1)

OSTRICH is an SMT solver for string constraints.

Group: io.github.uuverifiers Artifact: ostrich_2.12
Show all versions Show documentation Show source

0 downloads

Artifact ostrich_2.12
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 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-ecma2020-parser_2.12 from group io.github.uuverifiers (version 1.4.1)

OSTRICH is an SMT solver for string constraints.

Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-ecma2020-parser_2.12
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 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!

ostrich_2.11 from group io.github.uuverifiers (version 1.4.1)

OSTRICH is an SMT solver for string constraints.

Group: io.github.uuverifiers Artifact: ostrich_2.11
Show all versions Show documentation Show source

0 downloads

Artifact ostrich_2.11
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 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.11, princess_2.11, org.sat4j.core, automaton,
There are maybe transitive dependencies!

ostrich-ecma2020-parser_2.11 from group io.github.uuverifiers (version 1.4.1)

OSTRICH is an SMT solver for string constraints.

Group: io.github.uuverifiers Artifact: ostrich-ecma2020-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-ecma2020-parser_2.11
Group io.github.uuverifiers
Version 1.4.1
Last update 12. November 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!

calculator from group com.bazaarvoice.ostrich.examples.calculator (version 2.1.0)

Calculator example for Ostrich

Group: com.bazaarvoice.ostrich.examples.calculator Artifact: calculator
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact calculator
Group com.bazaarvoice.ostrich.examples.calculator
Version 2.1.0
Last update 17. January 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

ostrich-dropwizard from group com.bazaarvoice.ostrich (version 2.1.0)

Helpers for using Ostrich with Dropwizard

Group: com.bazaarvoice.ostrich Artifact: ostrich-dropwizard
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-dropwizard
Group com.bazaarvoice.ostrich
Version 2.1.0
Last update 17. January 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies ostrich-core, dropwizard-core,
There are maybe transitive dependencies!

ostrich-core from group com.bazaarvoice.ostrich (version 2.1.0)

Core classes that form Ostrich

Group: com.bazaarvoice.ostrich Artifact: ostrich-core
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-core
Group com.bazaarvoice.ostrich
Version 2.1.0
Last update 17. January 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies guava, metrics-core, jackson-databind, slf4j-api, commons-pool,
There are maybe transitive dependencies!

ostrich-zookeeper-discovery from group com.bazaarvoice.ostrich.zookeeper (version 2.1.0)

Ostrich service discovery backed by ZooKeeper

Group: com.bazaarvoice.ostrich.zookeeper Artifact: ostrich-zookeeper-discovery
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-zookeeper-discovery
Group com.bazaarvoice.ostrich.zookeeper
Version 2.1.0
Last update 17. January 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies recipes, ostrich-core,
There are maybe transitive dependencies!

ostrich-zookeeper-registry from group com.bazaarvoice.ostrich.zookeeper (version 2.1.0)

Ostrich service registry backed by ZooKeeper

Group: com.bazaarvoice.ostrich.zookeeper Artifact: ostrich-zookeeper-registry
Show all versions Show documentation Show source

0 downloads

Artifact ostrich-zookeeper-registry
Group com.bazaarvoice.ostrich.zookeeper
Version 2.1.0
Last update 17. January 2020
Organization not specified
URL Not specified
License not specified
Dependencies amount 2
Dependencies recipes, ostrich-core,
There are maybe transitive dependencies!

Page 2 from 3 (items total 22)