Download JAR files tagged by solver with all dependencies

jsr331-gurobi from group com.javasolver (version 2.3.1)

This is a JSR331 interface for the commercial linear solver "GUROBI"

Group: com.javasolver Artifact: jsr331-gurobi
Show all versions Show documentation Show source

0 downloads

Artifact jsr331-gurobi
Group com.javasolver
Version 2.3.1
Last update 19. August 2024
Organization not specified
URL https://www.gurobi.com/products/gurobi-optimizer/
License not specified
Dependencies amount 2
Dependencies jsr331, jsr331-linear,
There are maybe transitive dependencies!

jsr331-cplex from group com.javasolver (version 2.3.1)

This is a JSR331 interface for the commercial linear solver "CPLEX"

Group: com.javasolver Artifact: jsr331-cplex
Show all versions Show documentation Show source

0 downloads

Artifact jsr331-cplex
Group com.javasolver
Version 2.3.1
Last update 19. August 2024
Organization not specified
URL https://www.ibm.com/products/ilog-cplex-optimization-studio
License not specified
Dependencies amount 2
Dependencies jsr331, jsr331-linear,
There are maybe transitive dependencies!

jsr331-coin from group com.javasolver (version 2.3.1)

This is a JSR331 interface for the open source linear solver "COIN"

Group: com.javasolver Artifact: jsr331-coin
Show all versions Show documentation Show source

0 downloads

Artifact jsr331-coin
Group com.javasolver
Version 2.3.1
Last update 19. August 2024
Organization not specified
URL https://projects.coin-or.org/Clp
License not specified
Dependencies amount 2
Dependencies jsr331, jsr331-linear,
There are maybe transitive dependencies!

jsr331-clp from group com.javasolver (version 2.3.1)

This is a JSR331 interface for the open source linear solver "Clp"

Group: com.javasolver Artifact: jsr331-clp
Show all versions Show documentation Show source

0 downloads

Artifact jsr331-clp
Group com.javasolver
Version 2.3.1
Last update 19. August 2024
Organization not specified
URL https://projects.coin-or.org/Clp
License GNU LESSER GENERAL PUBLIC LICENSE Version 2.0
Dependencies amount 3
Dependencies jsr331, jsr331-linear, clp-java,
There are maybe transitive dependencies!

dds4j from group com.github.phisgr (version 0.1.0)

Wrapper around the Double Dummy Solver C++ Library.

Group: com.github.phisgr Artifact: dds4j
Show all versions Show documentation Show source

0 downloads

Artifact dds4j
Group com.github.phisgr
Version 0.1.0
Last update 08. April 2024
Organization not specified
URL https://github.com/phiSgr/rektdeal
License GPL-v3.0
Dependencies amount 1
Dependencies kotlin-stdlib,
There are maybe transitive dependencies!

kiwi from group org.mvnpm.at.lume (version 0.4.3)

High speed Cassowary constraint solver in JavaScript.

Group: org.mvnpm.at.lume Artifact: kiwi
Show all versions Show documentation Show source

0 downloads

Artifact kiwi
Group org.mvnpm.at.lume
Version 0.4.3
Last update 06. April 2024
Organization lume kiwi
URL https://github.com/lume/kiwi
License BSD-3-Clause
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

clingo from group org.potassco (version 1.1.0)

Java Bindings for Clingo: A grounder and solver for logic programs

Group: org.potassco Artifact: clingo
Show all versions Show documentation Show source

0 downloads

Artifact clingo
Group org.potassco
Version 1.1.0
Last update 28. March 2024
Organization not specified
URL https://github.com/kherud/jclingo
License GNU Lesser General Public License, Version 3, 29 June 2007
Dependencies amount 2
Dependencies jna, jna-platform,
There are maybe transitive dependencies!

eldarica_2.13 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.13
Show documentation Show source

0 downloads

Artifact eldarica_2.13
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.13, eldarica-tplspec-parser_2.13, scala-parser-combinators_2.13, java-cup, antlr, scala-xml_2.13, scalactic_2.13, princess_2.13,
There are maybe transitive dependencies!

eldarica-cc-parser_2.13 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.13
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.13
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.13 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.13
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.13
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!

Page 9 from 17 (items total 168)