Download JAR files tagged by solver with all dependencies

eldarica_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.12
Show documentation Show source

0 downloads

Artifact eldarica_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.12, eldarica-tplspec-parser_2.12, scala-parser-combinators_2.12, java-cup, antlr, scala-xml_2.12, scalactic_2.12, princess_2.12,
There are maybe transitive dependencies!

eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.12
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.11
Show documentation Show source

0 downloads

Artifact eldarica_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!

eldarica-cc-parser_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.11
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica-tplspec-parser_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.11
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

clp-java from group com.quantego (version 1.16.15)

A linear programming library based on the Coin-OR CLP linear solver.

Group: com.quantego Artifact: clp-java
Show all versions Show documentation Show source

11 downloads

Artifact clp-java
Group com.quantego
Version 1.16.15
Last update 07. March 2024
Organization not specified
URL https://github.com/loehndorf/clp-java
License MIT License
Dependencies amount 1
Dependencies jnr-ffi,
There are maybe transitive dependencies!

scrambler-sq12phase from group org.worldcubeassociation.tnoodle (version 0.19.2)

A copy of Chen Shuang's square 1 two phase solver.

Group: org.worldcubeassociation.tnoodle Artifact: scrambler-sq12phase
Show all versions Show documentation Show source

0 downloads

Artifact scrambler-sq12phase
Group org.worldcubeassociation.tnoodle
Version 0.19.2
Last update 01. January 2024
Organization not specified
URL https://www.worldcubeassociation.org/regulations/scrambles/
License GPL-v3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dualip_2.12 from group com.linkedin.dualip (version 4.0.5)

DuaLip: Dual Decomposition based Linear Program Solver.

Group: com.linkedin.dualip Artifact: dualip_2.12
Show all versions Show documentation Show source

0 downloads

Artifact dualip_2.12
Group com.linkedin.dualip
Version 4.0.5
Last update 16. November 2023
Organization not specified
URL https://github.com/linkedin/DuaLip
License BSD 2-CLAUSE
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

josqp from group com.quantego (version 0.6.5)

A Java port of the OSQP quadratic programming solver

Group: com.quantego Artifact: josqp
Show documentation Show source

0 downloads

Artifact josqp
Group com.quantego
Version 0.6.5
Last update 14. November 2023
Organization not specified
URL https://github.com/loehndorf/josqp
License MIT License
Dependencies amount 1
Dependencies junit-jupiter-engine,
There are maybe transitive dependencies!

Page 10 from 17 (items total 168)