Download JAR files tagged by constraints 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-ecma2020-parser_2.12 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.12
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact ostrich-ecma2020-parser_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 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!
ostrich_2.11 from group io.github.uuverifiers (version 1.3.5)
OSTRICH is an SMT solver for string constraints.
0 downloads
Artifact ostrich_2.11
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.11, princess_2.11, 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.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.3.5)
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
Show all versions Show documentation Show source
0 downloads
Artifact ostrich-ecma2020-parser_2.11
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!
year-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for years
Group: com.github.robtimus Artifact: year-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact year-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
time-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for times
Group: com.github.robtimus Artifact: time-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact time-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
month-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for months
Group: com.github.robtimus Artifact: month-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact month-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
minute-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for minutes
Group: com.github.robtimus Artifact: minute-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact minute-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
date-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for dates
Group: com.github.robtimus Artifact: date-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact date-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
hour-validation from group com.github.robtimus (version 2.0)
Contains validation constraints for hours
Group: com.github.robtimus Artifact: hour-validation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact hour-validation
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Group com.github.robtimus
Version 2.0
Last update 24. December 2022
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies date-time-base-validators,
There are maybe transitive dependencies!
Page 6 from 23 (items total 229)