Download JAR files tagged by solver with all dependencies
javasmt-solver-z3 from group org.sosy-lab (version 4.12.5)
SMT solver Z3 for use in JavaSMT
Group: org.sosy-lab Artifact: javasmt-solver-z3
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact javasmt-solver-z3
Group org.sosy-lab
Version 4.12.5
Last update 03. February 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sosy-lab
Version 4.12.5
Last update 03. February 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
ecos4j from group com.ustermetrics (version 0.4.0)
ECOS Solver for Java
0 downloads
Artifact ecos4j
Group com.ustermetrics
Version 0.4.0
Last update 06. April 2024
Organization not specified
URL ${git.repository}
License GNU General Public License, Version 3
Dependencies amount 2
Dependencies guava, native-lib-loader,
There are maybe transitive dependencies!
Group com.ustermetrics
Version 0.4.0
Last update 06. April 2024
Organization not specified
URL ${git.repository}
License GNU General Public License, Version 3
Dependencies amount 2
Dependencies guava, native-lib-loader,
There are maybe transitive dependencies!
javasmt-yices2 from group org.sosy-lab (version 4.1.1-59-gaf9c0520c)
JavaSMT bindings for the SMT solver Yices
Artifact javasmt-yices2
Group org.sosy-lab
Version 4.1.1-59-gaf9c0520c
Last update 02. March 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sosy-lab
Version 4.1.1-59-gaf9c0520c
Last update 02. March 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
javasmt-solver-yices2 from group org.sosy-lab (version 2.6.4-264-g553897f5)
SMT solver Yices for use in JavaSMT
Group: org.sosy-lab Artifact: javasmt-solver-yices2
Show all versions
Show all versions
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact javasmt-solver-yices2
Group org.sosy-lab
Version 2.6.4-264-g553897f5
Last update 02. March 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sosy-lab
Version 2.6.4-264-g553897f5
Last update 02. March 2024
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
aoc from group net.fornwall (version 2022.0.66)
Advent of Code solver
Artifact aoc
Group net.fornwall
Version 2022.0.66
Last update 25. February 2024
Organization not specified
URL https://github.com/fornwall/advent-of-code
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group net.fornwall
Version 2022.0.66
Last update 25. February 2024
Organization not specified
URL https://github.com/fornwall/advent-of-code
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
ostrich_2.13 from group io.github.uuverifiers (version 1.3.5)
OSTRICH is an SMT solver for string constraints.
0 downloads
Artifact ostrich_2.13
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.13, princess_2.13, 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.13, princess_2.13, org.sat4j.core, automaton,
There are maybe transitive dependencies!
ostrich-ecma2020-parser_2.13 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.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact ostrich-ecma2020-parser_2.13
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.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!
Page 1 from 16 (items total 159)