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

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!

ostrich_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_2.11
Show all versions Show documentation Show source

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!

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

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!

examples from group org.choco-solver (version 4.10.14)

Choco-solver in practice

Group: org.choco-solver Artifact: examples
Show all versions Show documentation Show source

0 downloads

Artifact examples
Group org.choco-solver
Version 4.10.14
Last update 02. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies choco-solver, choco-parsers, args4j,
There are maybe transitive dependencies!

choco-solver from group org.choco-solver (version 4.10.14)

Open-source constraint solver.

Group: org.choco-solver Artifact: choco-solver
Show all versions Show documentation Show source

122 downloads

Artifact choco-solver
Group org.choco-solver
Version 4.10.14
Last update 02. November 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies automaton, jgrapht-core, xchart, sizeof,
There are maybe transitive dependencies!

choco-mining from group io.gitlab.chaver (version 1.0.2)

Data mining with Choco solver

Group: io.gitlab.chaver Artifact: choco-mining
Show documentation Show source

0 downloads

Artifact choco-mining
Group io.gitlab.chaver
Version 1.0.2
Last update 29. August 2023
Organization not specified
URL https://gitlab.com/chaver/data-mining
License MIT license
Dependencies amount 2
Dependencies choco-solver, chocotools,
There are maybe transitive dependencies!

smtinterpol from group de.uni-freiburg.informatik.ultimate (version 2.5-1274-g04ecb6c0)

SMTInterpol is an interpolating SMT solver

Group: de.uni-freiburg.informatik.ultimate Artifact: smtinterpol
Show all versions Show documentation Show source

0 downloads

Artifact smtinterpol
Group de.uni-freiburg.informatik.ultimate
Version 2.5-1274-g04ecb6c0
Last update 08. June 2023
Organization Ultimate
URL https://ultimate.informatik.uni-freiburg.de/smtinterpol/
License GNU LESSER GENERAL PUBLIC LICENSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

javaTourOptimizer from group io.github.lvalkenberg.javaTourOptimizer (version 1.0)

Travelling Salesman Problem solver

Group: io.github.lvalkenberg.javaTourOptimizer Artifact: javaTourOptimizer
Show documentation Show source

0 downloads

Artifact javaTourOptimizer
Group io.github.lvalkenberg.javaTourOptimizer
Version 1.0
Last update 06. June 2023
Organization not specified
URL https://github.com/lvalkenberg/JavaTourOptimizer
License The MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

xflp from group com.github.hschneid (version 0.6.0-RELEASE)

Solver for realistic 3D container loading

Group: com.github.hschneid Artifact: xflp
Show all versions Show documentation Show source

0 downloads

Artifact xflp
Group com.github.hschneid
Version 0.6.0-RELEASE
Last update 03. June 2023
Organization not specified
URL https://github.com/hschneid/xflp
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

javasmt-solver-cvc5 from group org.sosy-lab (version 1.0.5-g4cb2ab9eb)

SMT solver CVC5 for use in JavaSMT

Group: org.sosy-lab Artifact: javasmt-solver-cvc5
Show all versions

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

0 downloads

Artifact javasmt-solver-cvc5
Group org.sosy-lab
Version 1.0.5-g4cb2ab9eb
Last update 14. April 2023
Organization Software Systems Lab
URL https://github.com/sosy-lab/java-smt
License Modified BSD License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 2 from 17 (items total 165)