Download JAR files tagged by constraints with all 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!

cdc-applic-dictionaries-core-constraints from group com.gitlab.cdc-java.applic (version 0.13.3)

Applicabilities Dictionaries Core Constraints.

Group: com.gitlab.cdc-java.applic Artifact: cdc-applic-dictionaries-core-constraints
Show all versions Show documentation Show source

0 downloads

Artifact cdc-applic-dictionaries-core-constraints
Group com.gitlab.cdc-java.applic
Version 0.13.3
Last update 28. September 2024
Organization not specified
URL https://www.gitlab.com/cdc-java/cdc-applic
License not specified
Dependencies amount 12
Dependencies cdc-applic-dictionaries, cdc-applic-expressions, cdc-applic-proofs, cdc-applic-proofs-core, cdc-applic-dictionaries-impl, cdc-util-core, cdc-kernel-args, cdc-io-json, cdc-io-xml, javax.json-api, javax.json, log4j-api,
There are maybe transitive dependencies!

bval-extras from group org.apache.bval (version 3.0.1)

BVal - non-JSR380 routines and constraints

Group: org.apache.bval Artifact: bval-extras
Show all versions Show documentation Show source

2 downloads

Artifact bval-extras
Group org.apache.bval
Version 3.0.1
Last update 13. July 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies jakarta.validation-api,
There are maybe transitive dependencies!

iron-zio-json_sjs1_3 from group io.github.iltotore (version 2.6.0)

Strong type constraints for Scala

Group: io.github.iltotore Artifact: iron-zio-json_sjs1_3
Show all versions Show documentation Show source

0 downloads

Artifact iron-zio-json_sjs1_3
Group io.github.iltotore
Version 2.6.0
Last update 21. June 2024
Organization not specified
URL https://github.com/Iltotore/iron
License Apache-2.0
Dependencies amount 4
Dependencies zio-json_sjs1_3, scala3-library_sjs1_3, scalajs-library_2.13, iron_sjs1_3,
There are maybe transitive dependencies!

iron-zio-json_3 from group io.github.iltotore (version 2.6.0)

Strong type constraints for Scala

Group: io.github.iltotore Artifact: iron-zio-json_3
Show all versions Show documentation Show source

0 downloads

Artifact iron-zio-json_3
Group io.github.iltotore
Version 2.6.0
Last update 21. June 2024
Organization not specified
URL https://github.com/Iltotore/iron
License Apache-2.0
Dependencies amount 3
Dependencies zio-json_3, scala3-library_3, iron_3,
There are maybe transitive dependencies!

iron-zio_sjs1_3 from group io.github.iltotore (version 2.6.0)

Strong type constraints for Scala

Group: io.github.iltotore Artifact: iron-zio_sjs1_3
Show all versions Show documentation Show source

0 downloads

Artifact iron-zio_sjs1_3
Group io.github.iltotore
Version 2.6.0
Last update 21. June 2024
Organization not specified
URL https://github.com/Iltotore/iron
License Apache-2.0
Dependencies amount 5
Dependencies zio_sjs1_3, zio-prelude_sjs1_3, scala3-library_sjs1_3, scalajs-library_2.13, iron_sjs1_3,
There are maybe transitive dependencies!

iron-zio_3 from group io.github.iltotore (version 2.6.0)

Strong type constraints for Scala

Group: io.github.iltotore Artifact: iron-zio_3
Show all versions Show documentation Show source

0 downloads

Artifact iron-zio_3
Group io.github.iltotore
Version 2.6.0
Last update 21. June 2024
Organization not specified
URL https://github.com/Iltotore/iron
License Apache-2.0
Dependencies amount 4
Dependencies zio_3, zio-prelude_3, scala3-library_3, iron_3,
There are maybe transitive dependencies!

Page 2 from 3 (items total 230)