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

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!

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

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.17
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies automaton, jgrapht-core, cpprof-java, xchart,
There are maybe transitive dependencies!

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

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.17
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 3
Dependencies choco-solver, choco-parsers, args4j,
There are maybe transitive dependencies!

ecos4j from group com.ustermetrics (version 2.2.0)

ECOS Solver for Java

Group: com.ustermetrics Artifact: ecos4j
Show all versions Show documentation Show source

0 downloads

Artifact ecos4j
Group com.ustermetrics
Version 2.2.0
Last update 07. September 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-734-g3732f7e08)

JavaSMT bindings for the SMT solver Yices

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

0 downloads

Artifact javasmt-yices2
Group org.sosy-lab
Version 4.1.1-734-g3732f7e08
Last update 07. July 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-bitwuzla from group org.sosy-lab (version 0.4.0-g4dbf3b1f)

SMT solver Bitwuzla for use in JavaSMT

Group: org.sosy-lab Artifact: javasmt-solver-bitwuzla
Show documentation

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

0 downloads

Artifact javasmt-solver-bitwuzla
Group org.sosy-lab
Version 0.4.0-g4dbf3b1f
Last update 30. May 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!

javasmt-solver-opensmt from group org.sosy-lab (version 2.6.0-g48b72153)

SMT solver OpenSMT for use in JavaSMT

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

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

0 downloads

Artifact javasmt-solver-opensmt
Group org.sosy-lab
Version 2.6.0-g48b72153
Last update 19. May 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!

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

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!

aoc from group net.fornwall (version 2022.0.66)

Advent of Code solver

Group: net.fornwall Artifact: aoc
Show all versions Show documentation Show source

0 downloads

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!

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

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!

Page 1 from 3 (items total 165)