Download JAR files tagged by solver with all dependencies

jmpi-solver-sat4j from group net.sf.jmpi (version 0.6)

The solver interface for SAT4J

Group: net.sf.jmpi Artifact: jmpi-solver-sat4j
Show all versions Show documentation Show source

1 downloads

Artifact jmpi-solver-sat4j
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 3
Dependencies org.ow2.sat4j.core, org.ow2.sat4j.pb, jmpi-main,
There are maybe transitive dependencies!

jmpi-solver-mosek from group net.sf.jmpi (version 0.6)

Group: net.sf.jmpi Artifact: jmpi-solver-mosek
Show all versions Show documentation Show source

1 downloads

Artifact jmpi-solver-mosek
Group net.sf.jmpi
Version 0.6

jmpi-solver-gurobi from group net.sf.jmpi (version 0.6)

The solver interface for GUROBI

Group: net.sf.jmpi Artifact: jmpi-solver-gurobi
Show all versions Show documentation Show source

11 downloads

Artifact jmpi-solver-gurobi
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 1
Dependencies jmpi-main,
There are maybe transitive dependencies!

jmpi-solver-cplex from group net.sf.jmpi (version 0.6)

The solver interface for CPLEX

Group: net.sf.jmpi Artifact: jmpi-solver-cplex
Show all versions Show documentation Show source

9 downloads

Artifact jmpi-solver-cplex
Group net.sf.jmpi
Version 0.6
Last update 22. April 2015
Organization not specified
URL http://jmpi.sf.net
License GNU Lesser General Public License
Dependencies amount 1
Dependencies jmpi-main,
There are maybe transitive dependencies!

drools-docs-solver from group org.drools (version 5.0.1)

Group: org.drools Artifact: drools-docs-solver
Show all versions

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

0 downloads

Artifact drools-docs-solver
Group org.drools
Version 5.0.1

highs4j-native from group com.ustermetrics (version 0.1.0-1.8.1)

HiGHS Solver for Java Native Libraries

Group: com.ustermetrics Artifact: highs4j-native
Show all versions Show source

0 downloads

Artifact highs4j-native
Group com.ustermetrics
Version 0.1.0-1.8.1
Last update 07. December 2024
Organization not specified
URL ${git.repository}
License Apache License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

timefold-solver-quarkus-deployment from group ai.timefold.solver (version 1.16.0)

Quarkus deployment module for timefold-solver-quarkus.

Group: ai.timefold.solver Artifact: timefold-solver-quarkus-deployment
Show all versions Show documentation Show source

0 downloads

Artifact timefold-solver-quarkus-deployment
Group ai.timefold.solver
Version 1.16.0
Last update 12. November 2024
Organization not specified
URL https://timefold.ai
License not specified
Dependencies amount 3
Dependencies quarkus-core-deployment, quarkus-arc-deployment, timefold-solver-quarkus,
There are maybe transitive dependencies!

javasmt-solver-mathsat5 from group org.sosy-lab (version 5.6.11-glibc2.27)

Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT

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

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

0 downloads

Artifact javasmt-solver-mathsat5
Group org.sosy-lab
Version 5.6.11-glibc2.27
Last update 20. October 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!

clarabel4j-native from group com.ustermetrics (version 1.0.0-0.9.0)

Clarabel Solver for Java Native Libraries

Group: com.ustermetrics Artifact: clarabel4j-native
Show all versions Show source

0 downloads

Artifact clarabel4j-native
Group com.ustermetrics
Version 1.0.0-0.9.0
Last update 19. October 2024
Organization not specified
URL ${git.repository}
License Apache License Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

ecos4j-native from group com.ustermetrics (version 2.0.0-2.0.10)

ECOS Solver for Java Native Libraries

Group: com.ustermetrics Artifact: ecos4j-native
Show all versions Show source

0 downloads

Artifact ecos4j-native
Group com.ustermetrics
Version 2.0.0-2.0.10
Last update 07. October 2024
Organization not specified
URL ${git.repository}
License GNU General Public License, Version 3
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

Page 5 from 17 (items total 167)